Skip to main content
Springer Nature Link
Log in

Hybrid Functional Petri Nets as MP systems

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

In this work we give a formalization of Hybrid Functional Petri Nets, shortly HFPN, an extension of Petri Nets for biopathways modelling, and we compare them with Metabolic P Systems. An introduction to both the formalisms is given, together with highlights about respective similarities and differences. Their equivalence is thus proved by means of a theorem which holds under quite general hypotheses. The case study of the lac operon gene regulatory mechanism in the glycolytic pathway of Escherichia coli is modeled by an MP system which provides the same dynamics of an equivalent HFPN model.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Notes

  1. The Cell Illustrator™ Project website Url: http://www.genomicobject.net.

  2. Enlarged images Url: http://mplab.sci.univr.it/external/ncj_hfpn_as_mps/images.html.

  3. The MetaPlab website Url: http://mplab.sci.univr.it.

References

  • Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2002) Molecular biology of the cell. Garland Science, New York

  • Bianco L, Castellini A (2007) Psim: a computational platform for Metabolic P systems. In: LNCS 4860, Springer, Berlin, pp 1–20

  • Bianco L, Fontana F, Franco G, Manca V (2006a) P systems for biological dynamics. In: Ciobanu et al (eds) Applications of membrane computing. Natural computing series. Springer, Berlin, pp 81–126

  • Bianco L, Fontana F, Manca V (2006b) P systems with reaction maps. Int J Found Comput Sci 17(1):27–48

    Article  MATH  MathSciNet  Google Scholar 

  • Castellini A, Manca V (2009) MetaPlab: a computational framework for metabolic P systems. In: LNCS 5391, Springer-Verlag, pp 157–168

  • Castellini A, Franco G, Manca V (2009) Toward a representation of Hybrid Functional Petri Nets by MP systems. In: Suzuki Y et al (eds) Natural Computing PICT 1, pp 28–37

  • Ciobanu G, Păun G, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural computing series. Springer, New York

  • Doi A, Fujita S, Matsuno H, Nagasaki M, Miyano S (2004) Constructing biological pathway models with Hybrid Functional Petri Nets. In Silico Biol 4(3):271–291

    Google Scholar 

  • Fontana F, Manca V (2007) Discrete solutions to differential equations by Metabolic P systems. Theor Comput Sci 372(2–3):165–182

    Article  MATH  MathSciNet  Google Scholar 

  • Fontana F, Manca V (2008) Predator–prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91(3):545–557

    Article  Google Scholar 

  • Hofestädt R (1994) A Petri Net application to model metabolic processes. J Syst Anal Model Simulation 16(2):113–122

    MATH  Google Scholar 

  • Hofestädt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1:39–53

    Google Scholar 

  • Manca V (2006) MP systems approaches to biochemical dynamics: biological rhythms and oscillations. In: LNCS 4361, Springer, New York, pp 86–99

  • Manca V (2008a) Discrete simulations of biochemical dynamics. In: LNCS 4848, Springer, pp 231–235

  • Manca V (2008b) The metabolic algorithm: principles and applications. Theor Comput Sci 404:142–157

    Article  MATH  MathSciNet  Google Scholar 

  • Manca V, Bianco L (2008) Biological networks in metabolic P systems. BioSystems 91(3):489–498

    Article  Google Scholar 

  • Manca V, Bianco L, Fontana F (2005) Evolutions and oscillations of P systems: applications to biochemical phenomena. In: LNCS 3365, Springer, pp 63–84

  • Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S (2003) Biopathways representation and simulation on Hybrid Functional Petri Nets. In Silico Biol 3(3):389–404

    Google Scholar 

  • Nagasaki M, Doi A, Matsuno H, Miyano S (2004) Genomic object net: I. A platform for modelling and simulating biopathways. Appl Bioinformatics 2(3):181–184

    Google Scholar 

  • Petri CA (1962) Kommunikation mit automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 2, German

  • Păun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143

    Article  MATH  Google Scholar 

  • Păun G (2002) Membrane computing: an introduction. Springer, Berlin

    MATH  Google Scholar 

  • Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri Net representations in metabolic pathways. In: Shavlik JW, Hunter L, Searls DB (eds) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, AAAI Press, pp 328–336

  • Reisig W (1985) Petri Nets: an introduction. EATCS, Monographs on Theoretical Computer Science. Springer, New York

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Verona University, Strada Le Grazie 15, Verona, 37134, Italy

    Alberto Castellini, Giuditta Franco & Vincenzo Manca

Authors
  1. Alberto Castellini
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Giuditta Franco
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Vincenzo Manca
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Alberto Castellini.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Castellini, A., Franco, G. & Manca, V. Hybrid Functional Petri Nets as MP systems. Nat Comput 9, 61–81 (2010). https://doi.org/10.1007/s11047-009-9121-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-009-9121-4

Keywords