A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems

Integration of different kinds of biological processes is an ultimate goal for whole-cell modelling. We briefly review modelling formalisms that have been used in Systems Biology and identify the criteria that must be addressed by an integrating framework capable of modelling, analysing and simulating different biological networks. Aware that no formalism can fit all purposes we realize Petri nets as a suitable model for Metabolic Engineering and take a deeper perspective on the role of this formalism as an integrating framework for regulatory and metabolic networks.

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

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

[3]  A Finney,et al.  Systems biology markup language: Level 2 and beyond. , 2003, Biochemical Society transactions.

[4]  Trey Ideker,et al.  Building with a scaffold: emerging strategies for high- to low-level cellular modeling. , 2003, Trends in biotechnology.

[5]  Masaru Tomita,et al.  E-CELL: software environment for whole-cell simulation , 1999, Bioinform..

[6]  E. Voit,et al.  Recasting nonlinear differential equations as S-systems: a canonical nonlinear form , 1987 .

[7]  C. Chassagnole,et al.  Dynamic modeling of the central carbon metabolism of Escherichia coli. , 2002, Biotechnology and bioengineering.

[8]  Nan Xiao,et al.  Integrating metabolic, transcriptional regulatory and signal transduction models in Escherichia coli , 2008, Bioinform..

[9]  David Harel,et al.  Explaining a complex living system: dynamics, multi-scaling and emergence , 2007, Journal of The Royal Society Interface.

[10]  D R Westhead,et al.  Petri Net representations in systems biology. , 2003, Biochemical Society transactions.

[11]  David S Wishart,et al.  Computational systems biology in drug discovery and development: methods and applications. , 2007, Drug discovery today.

[12]  L. Wackett.  An annotated selection of World Wide Web sites relevant to the topics in Microbial Biotechnology , 2013, Microbial biotechnology.

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

[14]  William S. Hlavacek,et al.  BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains , 2004, Bioinform..

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

[16]  C. Tomlin,et al.  Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling. , 2004, Systems biology.

[17]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

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

[19]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[20]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

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

[22]  François Fages,et al.  BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge , 2006, Bioinform..

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

[24]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.

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

[26]  S. Gilmore,et al.  Automatically deriving ODEs from process algebra models of signalling pathways , 2005 .

[27]  Marco Bernardo,et al.  Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures , 2008, SFM.

[28]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[29]  Richard Banks,et al.  Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets , 2006, CMSB.

[30]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[31]  Ian Stark,et al.  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.

[32]  Denis Noble,et al.  The rise of computational biology , 2002, Nature Reviews Molecular Cell Biology.

[33]  T. Henzinger,et al.  Executable cell biology , 2007, Nature Biotechnology.

[34]  Mathias John,et al.  A Spatial Extension to the π Calculus , 2007 .

[35]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[36]  Ming Chen,et al.  Quantitative Petri net model of gene regulated metabolic networks in the cell , 2003, Silico Biol..