Natural Computing

, Volume 9, Issue 1, pp 61–81 | Cite as

Hybrid Functional Petri Nets as MP systems

  • Alberto Castellini
  • Giuditta Franco
  • Vincenzo Manca


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.


Membrane computing P systems Petri Nets Hybrid Functional Petri Nets Systems biology Synthetic biology Biological system modeling Computational experiments Glycolytic pathway Simulation Forecasting Equivalence Mapping procedure 


  1. Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2002) Molecular biology of the cell. Garland Science, New YorkGoogle Scholar
  2. Bianco L, Castellini A (2007) Psim: a computational platform for Metabolic P systems. In: LNCS 4860, Springer, Berlin, pp 1–20Google Scholar
  3. 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–126Google Scholar
  4. Bianco L, Fontana F, Manca V (2006b) P systems with reaction maps. Int J Found Comput Sci 17(1):27–48MATHCrossRefMathSciNetGoogle Scholar
  5. Castellini A, Manca V (2009) MetaPlab: a computational framework for metabolic P systems. In: LNCS 5391, Springer-Verlag, pp 157–168Google Scholar
  6. 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–37Google Scholar
  7. Ciobanu G, Păun G, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural computing series. Springer, New YorkGoogle Scholar
  8. 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–291Google Scholar
  9. Fontana F, Manca V (2007) Discrete solutions to differential equations by Metabolic P systems. Theor Comput Sci 372(2–3):165–182MATHCrossRefMathSciNetGoogle Scholar
  10. Fontana F, Manca V (2008) Predator–prey dynamics in P systems ruled by metabolic algorithm. BioSystems 91(3):545–557CrossRefGoogle Scholar
  11. Hofestädt R (1994) A Petri Net application to model metabolic processes. J Syst Anal Model Simulation 16(2):113–122MATHGoogle Scholar
  12. Hofestädt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1:39–53Google Scholar
  13. Manca V (2006) MP systems approaches to biochemical dynamics: biological rhythms and oscillations. In: LNCS 4361, Springer, New York, pp 86–99Google Scholar
  14. Manca V (2008a) Discrete simulations of biochemical dynamics. In: LNCS 4848, Springer, pp 231–235Google Scholar
  15. Manca V (2008b) The metabolic algorithm: principles and applications. Theor Comput Sci 404:142–157MATHCrossRefMathSciNetGoogle Scholar
  16. Manca V, Bianco L (2008) Biological networks in metabolic P systems. BioSystems 91(3):489–498CrossRefGoogle Scholar
  17. Manca V, Bianco L, Fontana F (2005) Evolutions and oscillations of P systems: applications to biochemical phenomena. In: LNCS 3365, Springer, pp 63–84Google Scholar
  18. 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–404Google Scholar
  19. 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–184Google Scholar
  20. Petri CA (1962) Kommunikation mit automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 2, GermanGoogle Scholar
  21. Păun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143MATHCrossRefGoogle Scholar
  22. Păun G (2002) Membrane computing: an introduction. Springer, BerlinMATHGoogle Scholar
  23. 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–336Google Scholar
  24. Reisig W (1985) Petri Nets: an introduction. EATCS, Monographs on Theoretical Computer Science. Springer, New YorkGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Alberto Castellini
    • 1
  • Giuditta Franco
    • 1
  • Vincenzo Manca
    • 1
  1. 1.Computer Science DepartmentVerona UniversityVeronaItaly

Personalised recommendations