Petri nets for modelling metabolic pathways: a survey

In the last 15 years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal of this paper is twofold. First, we discuss how the knowledge about metabolic pathways can be represented with Petri nets. We point out the main problems that arise in the construction of a Petri net model of a metabolic pathway and we outline some solutions proposed in the literature. Second, we present a comprehensive review of recent research on this topic, in order to assess the maturity of the field and the availability of a methodology for modelling a metabolic pathway by a corresponding Petri net.

[1]  Michael A. Gibson,et al.  Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels , 2000 .

[2]  Monika Heiner,et al.  Application of Petri net based analysis techniques to signal transduction pathways , 2006, BMC Bioinformatics.

[3]  T. Mexia,et al.  Author ' s personal copy , 2009 .

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  Masao Nagasaki,et al.  Simulation-Based Validation of the p53 Transcriptional Activity with Hybrid Functional Petri Net. , 2011, Studies in health technology and informatics.

[6]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[7]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[8]  Pierre Ganty,et al.  From Many Places to Few: Automatic Abstraction Refinement for Petri Nets , 2008, Fundam. Informaticae.

[9]  Edda Klipp,et al.  Prediction of enzyme kinetic parameters based on statistical learning. , 2006, Genome informatics. International Conference on Genome Informatics.

[10]  Thomas Pfeiffer,et al.  Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae , 2002, Bioinform..

[11]  Carmen G. Moles,et al.  Parameter estimation in biochemical pathways: a comparison of global optimization methods. , 2003, Genome research.

[12]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[13]  Ina Koch,et al.  Model validation of biological pathways using Petri nets , 2004 .

[14]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[15]  Kurt Jensen.  Coloured Petri nets , 1986 .

[16]  Yoshihiro Yamanishi,et al.  KEGG for linking genomes to life and the environment , 2007, Nucleic Acids Res..

[17]  Monika Heiner,et al.  Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets , 2001 .

[18]  Frits Feldbrugge,et al.  Petri net tools , 1985, Applications and Theory in Petri Nets.

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

[20]  Pierre N. Robillard,et al.  Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..

[21]  Monika Heiner,et al.  Petri Net Based Model Validation in Systems Biology , 2004, ICATPN.

[22]  Monika Heiner,et al.  From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis , 2006, ICATPN.

[23]  Rüdiger Valk,et al.  Petri Nets and Regular Languages , 1981, J. Comput. Syst. Sci..

[24]  Pierre N. Robillard,et al.  Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways , 2008, Bioinform..

[25]  Masao Nagasaki,et al.  Towards Biopathway Modeling and Simulation , 2003, ICATPN.

[26]  V. N. Reddy.  Modeling Biological Pathways: A discrete Event Systems Approach , 1994 .

[27]  Wolfgang Marwan,et al.  Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri Net modelling and simulation. , 2005, Journal of theoretical biology.

[28]  Louchka Popova-Zeugmann,et al.  Time Petri Nets for Modelling and Analysis of Biochemical Networks , 2005, Fundam. Informaticae.

[29]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[30]  J. Koza.  Automatic Synthesis of Topologies and Numerical Parameters , 2003 .

[31]  Russ B. Altman,et al.  Modelling biological processes using workflow and Petri Net models , 2002, Bioinform..

[32]  Monika Heiner,et al.  A structured approach for the engineering of biochemical network models, illustrated for signalling pathways , 2008, Briefings Bioinform..

[33]  B. Palsson,et al.  Metabolic modelling of microbes: the flux-balance approach. , 2002, Environmental microbiology.

[34]  Javier Esparza,et al.  The Model-Checking Kit , 2003, ICATPN.

[35]  Jordi Cortadella,et al.  Structural Methods to Improve the Symbolic Analysis of Petri Nets , 1999, ICATPN.

[36]  Wolfgang Wiechert,et al.  Modeling and simulation: tools for metabolic engineering. , 2002, Journal of biotechnology.

[37]  C. M. Sperberg-McQueen,et al.  Extensible markup language , 1997 .

[38]  Hiroshi Matsuno,et al.  Petri Net Based Descriptions for Systematic Understanding of Biological Pathways , 2006, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[39]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[40]  Liu Shi-xi.  Petri Net Markup Language , 2011 .

[41]  Russ B. Altman,et al.  Research Paper: Using Petri Net Tools to Study Properties and Dynamics of Biological Systems , 2004, J. Am. Medical Informatics Assoc..

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

[43]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[44]  Claudine Chaouiya,et al.  Petri net modelling of biological networks , 2007, Briefings Bioinform..

[45]  H. Kitano.  Systems Biology: A Brief Overview , 2002, Science.

[46]  R Heinrich,et al.  A second-order approach to metabolic control analysis. , 1993, Journal of theoretical biology.

[47]  Ralf Hofestädt,et al.  Quantitative petri net model of gene regulated metabolic networks in the cell. , 2011, Studies in health technology and informatics.

[48]  S. Schuster,et al.  ON ELEMENTARY FLUX MODES IN BIOCHEMICAL REACTION SYSTEMS AT STEADY STATE , 1994 .

[49]  Ming Chen.  Modelling and Simulation of Metabolic Networks Petri Nets Approach and Perspective , 2002, ESM.

[50]  Anil Wipat,et al.  Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks , 2006, PASM@FM.

[51]  Javier Esparza,et al.  Unfoldings - A Partial-Order Approach to Model Checking , 2008, Monographs in Theoretical Computer Science. An EATCS Series.

[52]  Stefan Schuster,et al.  Topological analysis of metabolic networks based on Petri net theory , 2003, Silico Biol..

[53]  Francisco J. Planes,et al.  Recovering metabolic pathways via optimization , 2007, Bioinform..

[54]  Ioannis Xenarios,et al.  DIP: The Database of Interacting Proteins: 2001 update , 2001, Nucleic Acids Res..

[55]  Ming Chen,et al.  The biology Petri net markup language , 2002, Promise.

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

[57]  Hartmann J. Genrich,et al.  Executable Petri net models for the analysis of metabolic pathways , 2001, International Journal on Software Tools for Technology Transfer.

[58]  Mandyam M. Srinivasan,et al.  Introduction To Computer System Performance Evaluation , 1992 .

[59]  Yves Deville,et al.  An Overview of Data Models for the Analysis of Biochemical Pathways , 2003, CMSB.

[60]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[61]  D. Fell,et al.  Detection of elementary flux modes in biochemical networks: a promising tool for pathway analysis and metabolic engineering. , 1999, Trends in biotechnology.

[62]  Andrea Sackmann,et al.  Modularization of biochemical networks based on classification of Petri net t-invariants , 2008, BMC Bioinformatics.

[63]  Adam J. Smith,et al.  The Database of Interacting Proteins: 2004 update , 2004, Nucleic Acids Res..

[64]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[65]  Mogens Nielsen,et al.  Decidability Issues for Petri Nets - a survey , 1994, Bull. EATCS.

[66]  H. Kitano,et al.  Computational systems biology , 2002, Nature.

[67]  Ina Koch,et al.  Petri net modelling of gene regulation of the Duchenne muscular dystrophy , 2008, Biosyst..

[68]  Hiroshi Matsuno,et al.  How to Model and Simulate Biological Pathways with Petri Nets - A New Challenge for Systems Biology - ∗ , 2004 .

[69]  Anil Wipat,et al.  Applying Petri Nets to Systems Biology using XML Technologies , 2004 .

[70]  Monika Heiner,et al.  Steady state analysis of metabolic pathways using Petri nets , 2003, Silico Biol..

[71]  Darren J. Wilkinson.  Stochastic Modelling for Systems Biology , 2006 .

[72]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[73]  B. Palsson,et al.  Metabolic Flux Balancing: Basic Concepts, Scientific and Practical Use , 1994, Bio/Technology.

[74]  Ernst W. Mayr.  Persistence of vector replacement systems is decidable , 2004, Acta Informatica.

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

[76]  Antje Chang,et al.  BRENDA, AMENDA and FRENDA the enzyme information system: new content and tools in 2009 , 2008, Nucleic Acids Res..

[77]  Denis Thieffry,et al.  Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.

[78]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[79]  B. Palsson,et al.  Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective. , 2000, Journal of theoretical biology.

[80]  Stefan Schuster,et al.  Topological analysis of metabolic networks based on petri net theory. , 2011, Studies in health technology and informatics.

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

[82]  F. Young.  Biochemistry , 1955, The Indian Medical Gazette.

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

[84]  D. Fell.  Metabolic control analysis: a survey of its theoretical and experimental development. , 1992, The Biochemical journal.

[85]  Gabriele Ausiello,et al.  MINT: the Molecular INTeraction database , 2006, Nucleic Acids Res..

[86]  Monika Heiner,et al.  A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets , 2007, CMSB.

[87]  Wolfram Liebermeister,et al.  Integration of Enzyme Kinetic Data from Various Sources , 2007, Silico Biol..

[88]  Andrea Sackmann,et al.  An analysis of the Petri net based model of the human body iron homeostasis process , 2007, Comput. Biol. Chem..

[89]  Maria Victoria Schneider,et al.  MINT: a Molecular INTeraction database. , 2002, FEBS letters.

[90]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[91]  D. Fell,et al.  A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks , 2000, Nature Biotechnology.

[92]  Denis Thieffry,et al.  Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli , 2005, ECCB/JBI.

[93]  Reinhart Heinrich,et al.  A linear steady-state treatment of enzymatic chains. General properties, control and effector strength. , 1974, European journal of biochemistry.

[94]  R. Heinrich,et al.  Metabolic Pathway Analysis: Basic Concepts and Scientific Applications in the Post‐genomic Era , 1999, Biotechnology progress.

[95]  Nadia Busi.  Analysis issues in Petri nets with inhibitor arcs , 2002, Theor. Comput. Sci..

[96]  T. Agerwala,et al.  Complete model for representing the coordination of asynchronous processes , 1974 .

[97]  Gianfranco Balbo,et al.  Introduction to Generalized Stochastic Petri Nets , 2007, SFM.

[98]  W. Marsden.  I and J , 2012 .

[99]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[100]  Werner Dubitzky,et al.  Representing bioinformatics causality , 2004, Briefings Bioinform..

[101]  Janet B. Jones-Oliveira,et al.  A Computational Model for the Identification of Biochemical Pathways in the Krebs Cycle , 2003, J. Comput. Biol..

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

[103]  Ina Koch,et al.  Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets , 2009, Comput. Biol. Chem..

[104]  Monika Heiner,et al.  Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber , 2005, Bioinform..

[105]  P. McSharry,et al.  Mathematical and computational techniques to deduce complex biochemical reaction mechanisms. , 2004, Progress in biophysics and molecular biology.

[106]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[107]  Peter D. Karp,et al.  The MetaCyc Database of metabolic pathways and enzymes and the BioCyc collection of Pathway/Genome Databases , 2007, Nucleic Acids Res..

[108]  E. Kindler.  Workshop on the Definition , Implementation and Application of a Standard Interchange Format for Petri Nets , 2004 .

[109]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[110]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .