Hybrid Functional Petri Nets as MP systems

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.

[1]  Vincenzo Manca,et al.  The metabolic algorithm for P systems: Principles and applications , 2008, Theor. Comput. Sci..

[2]  Masao Nagasaki,et al.  Constructing biological pathway models with hybrid functional Petri net , 2004, Silico Biol..

[3]  Masao Nagasaki,et al.  Genomic Object Net: I. A platform for modelling and simulating biopathways. , 2003, Applied bioinformatics.

[4]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2005 .

[5]  C. Petri.  Kommunikation mit Automaten , 1962 .

[6]  Vincenzo Manca,et al.  MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations , 2006, Workshop on Membrane Computing.

[7]  Vincenzo Manca,et al.  Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena , 2006 .

[8]  Vincenzo Manca,et al.  P systems with reaction maps , 2006, Int. J. Found. Comput. Sci..

[9]  Michael L. Mavrovouniotis,et al.  Petri Net Representations in Metabolic Pathways , 1993, ISMB.

[10]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[11]  Vincenzo Manca,et al.  Biological networks in metabolic P systems , 2008, Biosyst..

[12]  Gheorghe Paun,et al.  Applications of Membrane Computing (Natural Computing Series) , 2005 .

[13]  Vincenzo Manca,et al.  Predator-prey dynamics in P systems ruled by metabolic algorithm , 2008, Biosyst..

[14]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[15]  Vincenzo Manca,et al.  Discrete solutions to differential equations by metabolic P systems , 2007, Theor. Comput. Sci..

[16]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[17]  Atsushi Doi,et al.  Biopathways representation and simulation on hybrid functional Petri net , 2003, Silico Biol..

[18]  Masao Nagasaki,et al.  Constructing biological pathway models with hybrid functional petri nets. , 2011, Studies in health technology and informatics.

[19]  Luca Bianco,et al.  Psim: A Computational Platform for Metabolic P Systems , 2007, Workshop on Membrane Computing.

[20]  Vincenzo Manca.  Discrete Simulations of Biochemical Dynamics , 2007, DNA.

[21]  Ralf Hofestädt,et al.  A petri net application to model metabolic processes , 1994 .

[22]  Vincenzo Manca,et al.  Evolution and Oscillation in P Systems: Applications to Biological Phenomena , 2004, Workshop on Membrane Computing.

[23]  Vincenzo Manca,et al.  P Systems for Biological Dynamics , 2006, Applications of Membrane Computing.

[24]  Vincenzo Manca,et al.  MetaPlab: A Computational Framework for Metabolic P Systems , 2009, Workshop on Membrane Computing.

[25]  B. Alberts,et al.  Molecular Biology of the Cell (Fifth Edition) , 2008 .

[26]  Vincenzo Manca,et al.  Toward a Representation of Hybrid Functional Petri Nets by MP Systems , 2007, IWNC.

[27]  Gabriel Ciobanu,et al.  Applications of Membrane Computing , 2006, Applications of Membrane Computing.

[28]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.