BioModel Engineering with Petri Nets

Algebraic and Discrete Mathematical Methods for Modern Biology

Volumn , Issue , 2015, Pages 141-192

  Blätke, Mary Ann ^a   Heiner, Monika ^b   Marwan, Wolfgang ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Analysis; Biochemical reaction networks; Colored Petri nets; Continuous; Hybrid; Model checking; Qualitative; Simulations; Stochastic

Indexed keywords

EID: 85044430286     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-12-801213-0.00007-1     Document Type: Chapter

References (100)

1. Gilbert D., Breitling R., Heiner M., Donaldson R. An introduction to biomodel engineering, illustrated for signal transduction pathways. WMC 2008; 5391 of LNCS 2009, 13-28. Springer, Berlin.
2. Breitling R., Donaldson R.A., Gilbert D.R., Heiner M. Biomodel engineering-from structure to behavior (position paper). Transactions on computational systems biology XII: special issue on modeling methodologies 2010, vol. 5945:1-12. Springer, Berlin.
3. Petri CA. Kommunikation mit Automaten (in German) [PhD thesis]. Technische Hochschule Darmstadt; 1962.
4. Rohr C., Marwan W., Heiner M. Snoopy-a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 2010, 26:974-975.
5. Heiner M., Herajy M., Liu F., Rohr C., Schwarick M. Snoopy-a unifying Petri net tool. In: Proc. Petri nets 2012; 7347 of LNCS. Berlin: Springer 2012, 2012:398-407.
6. Sandve G.K., Nekrutenko A., Taylor J., Hovig E. Ten simple rules for reproducible computational research. PLoS Comput Biol 2013, 9. e1003285.
7. Franzke A. Charlie 2.0-a multithreaded Petri net analyser [Diploma thesis]. BTU Cottbus, Dep. of CS; 2009.
8. Schwarick M., Heiner M., Rohr C. MARCIE-Model checking And Reachability analysis done effiCIEntly. Proc. QEST, Aachen, Germany 2011, IEEE CS Press, p. 91-100.
9. Heiner M., Rohr C., Schwarick M. MARCIE-Model checking And Reachability analysis done effiCIEntly. Proc. PETRI NETS 2013; 7927 of LNCS 2013, Springer, Berlin, p. 389-99.
10. Schwarick M, Rohr C, Heiner M. MARCIE manual-an analysis tool for extended stochastic Petri nets. Tech. Rep. 03-14. BTU Cottbus-Senftenberg, Dep. of CS; 2014.
11. Donaldson R., Gilbert D. A model checking approach to the parameter estimation of biochemical pathways. Proc. CMSB 2008; 5307 of LNCS/LNBI 2008, Springer, Berlin, p. 269-87.
12. Edmunds L.N. Cellular and molecular bases of biological clocks: models and mechanisms for circadian timekeeping 1988, Springer-Verlag, New York.
13. Dunlap J.C. Molecular bases for circadian clocks. Cell 1999, 96:271-290.
14. Vilar J.M.G., Kueh H.Y., Barkai N., Leibler S. Mechanisms of noise resistance in genetic oscillators. PNAS 2002, 99:5988-5992.
15. Murata T. Petri nets: properties, analysis and applications. Proc IEEE 1989, 77:541-580.
16. Silva M. Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Ann Rev Control 2013;37:191-219.
17. Petri C.A., Reisig W. Petri net. Scholarpedia 2008, 3(4):64-77.
18. Reddy V.N., Mavrovouniotis M.L., Liebman M.N. Petri net representations in metabolic pathways. Proc. ISMB-93 1993, 328-336.
19. Hofestädt R. A Petri net application of metabolic processes. J Syst Anal Model Simul 1994, 16:113-122.
20. Reddy V.N. Modeling biological pathways: a discrete event systems approach [Master thesis] 1994, University of Maryland.
21. Baldan P., Cocco N., Marin A., Simeoni M. Petri nets for modelling metabolic pathways: a survey. Nat Comput 2010, 9:955-989.
22. Heiner M., Donaldson R., Gilbert D. Petri nets for systems biology 2010, Jones and Bartlett Learning Sudbury, Massachusetts, Chapter 3. p. 61-97.
23. Heiner M., Mahulea C., Silva M. On the importance of the deadlock trap property for monotonic liveness. Int. workshop on biological processes and Petri nets (BioPPN), satellite event of Petri nets 2010 2010, 39-54.
24. Heiner M, Mahulea C, Silva M. On the importance of the deadlock trap property for monotonic liveness. In: Int. workshop on biological processes and Petri nets (BioPPN), satellite event of Petri nets 2010; 2010. p. 39-54.
25. Lautenbach K. Exact liveness conditions of a Petri net class (in German) [PhD thesis]. GMD Report 82, Bonn; 1973.
26. Heiner M. Understanding network behaviour by structured representations of transition invariants-a Petri net perspective on systems and synthetic biology. Natural computing series 2009, Springer, Berlin, p. 367-89.
27. Schuster S., Hilgetag C., Schuster R. Determining elementary modes of functioning in biochemical reaction networks at steady state. Proc. 2nd gauss symposium 1993, 101-114.
28. Palsson B.O. Systems biology 2006, Cambridge University Press, Cambridge.
29. Larhlimi A., Bockmayr A. Proc. CMSB 2008; 5307 of LNCS/LNBI 2008, Springer, Berlin, p. 308-27.
30. Hodge T.L. Metabolic pathways analysis: a linear algebraic approach. Mathematical concepts and methods in modern biology: using modern discrete models 2013, 239-266. Ch. 8, Academic Press, London. R. Robeva, T.L. Hodge (Eds.).
31. Heiner M., Koch I. Petri net based model validation in systems biology. Proc. ICATPN 2004; 3099 of LNCS 2004, Springer, Berlin, p. 216-37.
32. Heiner M., Sriram K. Structural analysis to determine the core of hypoxia response network. PLoS ONE 2010, 5. e8600.
33. Clarke E.M., Grumberg O., Peled D.A. Model checking 2000, MIT Press, Cambridge, MA.
34. Pnueli A. The temporal semantics of concurrent programs. Theor Comput Sci 1981, 13:45-60.
35. Monteiro P.T., Ropers D., Mateescu R., Freitas A.T., De Jong H. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics 2008, 24:i227-i233.
36. Gilbert D., Heiner M., Rosser S., Fulton R., Gu X., Trybio M. A case study in model-driven synthetic biology. 2008, 2nd IFIP conference on biologically inspired collaborative computing (BICC 2008); 268 of IFIP (Boston) 2008, 163-175. Springer, Berlin. W.C.C. IFIP (Ed.).
37. Koch I., Heiner M. Petri nets. Biological network analysis. Ch. 7. Wiley book series on bioinformatics 2008, 139-179. editors.
38. Heiner M., Gilbert D., Donaldson R. Petri nets for systems and synthetic biology; 5016 of LNCS 2008, Springer, Berlin, p. 215-64.
39. Liu F., Heiner M. Petri nets for modeling and analyzing biochemical reaction networks. Ch. 9 2014, Springer, Berlin.
40. Blätke M.A., Rohr C., Heiner M., Marwan W. A Petri net based framework for biomodel engineering. Modeling and simulation in science, engineering and technology. Birkhäuser mathematics 2014, Springer, Berlin.
41. Marwan W., Wagler A., Weismantel R. Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks. Nat Comput 2011, 10:63954.
42. Rao C.V., Wolf D.M., Arkin A.P. Control, exploitation and tolerance of intracellular noise. Nature 2002, 420:2317.
43. Molloy M.K. Performance analysis using stochastic Petri nets. IEEE Trans Comput 1982, 100:913-917.
44. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G. Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. 2nd ed 1995, John Wiley and Sons, London.
45. Bause F., Kritzinger P.S. Stochastic Petri nets 2002, Vieweg, Wiesbaden.
46. Goss P.J.E., Peccoud J. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci 1998, 95:6750-6755.
47. Srivastava R., Peterson M.S., Bentley W.E. Stochastic kinetic analysis of the Escherichia coli stress circuit using 32-targeted antisense. Biotechnol Bioeng 2001, 75:120-129.
48. Marwan W., Sujatha A., Starostzik C. Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri net modeling and simulation. J Theor Biol 2005, 236:349-365.
49. Wilkinson D.J. Stochastic modelling for system biology 2006, CRC Press, New York. 1st ed.
50. Heiner M., Lehrack S., Gilbert D., Marwan W. Extended stochastic Petri nets for model-based design of wetlab experiments. Transactions on computational systems biology XI; 5750 of LNCS/LNBI 2009, 138-163. Springer, Berlin.
51. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J Phys Chem 1977, 81:2340-2361.
52. Mauch S., Stalzer M. Efficient formulations for exact stochastic simulation of chemical systems. IEEE/ACM Trans Comput Biol Bioinform 2011, 8:27-35.
53. Stewart W.J. Introduction to the numerical solution of Markov chains 1994, Princeton University Press, Princeton, NJ.
54. Schwarick M., Tovchigrechko A. IDD-based model validation of biochemical networks. Theor Comput Sci 2011, 412:2884-2908.
55. Heiner M., Rohr C., Schwarick M., Streif S. A comparative study of stochastic analysis techniques. Proc. CMSB 2010 2010, ACM Digital Library, p. 96-106.
56. Schwarick M. Symbolic on-the-fly analysis of stochastic Petri nets [PhD thesis]. BTU Cottbus, Dep. of CS; 2014.
57. Rohr C. Simulative model checking of steady-state and time-unbounded temporal operators. ToPNoC VIII, LNCS 8100 2013, 142-158.
58. Marwan W., Rohr C., Heiner M. Petri nets in Snoopy: a unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks; Volume 804 of methods in molecular biology 2012, Ch. 21, Springer, New York, p. 409-37.
59. David R., Alla H. Autonomous and timed continuous Petri nets. Advances in Petri nets 1993; 674 of LNCS 1993, 71-90. Springer, Berlin.
60. David R., Alla H. Discrete, continuous, and hybrid Petri nets 2005, Springer-Verlag, Berlin.
61. Gilbert D., From HeinerM. Petri nets to differential equations-an integrative approach for biochemical network analysis. Proc. ICATPN, 4024 of LNCS 2006, 181-200. Springer, Berlin.
62. Breitling R., Gilbert D., Heiner M., Orton R. A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Brief Bioinform 2008, 9:404-421.
63. Herajy M. Computational steering of multi-scale biochemical networks [PhD thesis]. BTU Cottbus, Dep. of CS; 2013.
64. Hindmarsh A.C., Brown P.N., Grant K.E., Lee S.L., Serban R., Shumaker D.E., et al. SUNDIALS: suite of nonlinear and differential/algebraic equation solvers. ACM Trans Math Software 2005, 31:363-396.
65. Calzone L., Chabrier-Rivier N., Fages F., Soliman S. Machine learning biochemical networks from temporal logic properties. Trans Comput Syst Biol VI 2006, 4220:68-94.
66. Soliman S., Heiner M. A unique transformation from ordinary differential equations to reaction networks. PLoS ONE 2010, 5. e14284.
67. Heiner M., Gilbert D. How might Petri nets enhance your systems biology toolkit; 6709 of LNCS 2011, Springer, Berlin, p. 17-37.
68. Silva M., Recalde L. Petri nets and integrality relaxations: a view of continuous Petri net models. IEEE Trans Syst Man Cybern Part C Appl Rev 2002, 32:314-327.
69. Angeli D., De Leenheer P., Sontag E.D. A Petri net approach to persistence analysis in chemical reaction networks. Biology and control theory: current challenges; 357 of LNCI 2007, 181-216. Springer, Berlin.
70. Angeli D. Boundedness analysis for open chemical reaction networks with mass-action kinetics. Nat Comput 2011, 10:751-774.
71. Shinar G., Feinberg M. Structural sources of robustness in biochemical reaction networks. Science 2010, 327:1389-1391.
72. Nagasaki M., Saito A., Doi A., Matsuno H., Miyano S. Foundations of systems biology using cell illustrator and pathway databases, vol. 13. Series: computational biology 2009, Springer, London.
73. Herajy M., Heiner M. Hybrid representation and simulation of stiff biochemical networks. Nonlinear Anal Hybrid Syst 2012, 6:942-959.
74. Herajy M., Heiner M. A steering server for collaborative simulation of quantitative Petri nets. PETRI NETS 2014; 8489 of LNCS 2014, 374-384. Springer, Berlin.
75. Herajy M., Heiner M. Petri net-based collaborative simulation and steering of biochemical reaction networks. Fund Inform 2014, 129:49-67.
76. Herajy M, Heiner M. Snoopy computational steering framework User manual version 1.0. Tech. Rep. 02-13 BTU Cottbus, Dep. of CS; 2013.
77. Herajy M., Schwarick M., Heiner M. Hybrid Petri nets for modelling the eukaryotic cell cycle. ToPNoC VIII, LNCS 8100 2013, 123-41.
78. Genrich H.J., Lautenbach K. The analysis of distributed systems by means of predicate/transition nets. Proc. international symposium on semantics of concurrent computation; 70 of LNCS 1979, Springer, Berlin, p. 123-46.
79. Genrich H.J., Lautenbach K. System modelling with high-level Petri nets. Theor Comput Sci 1981, 13:109-135.
80. Jensen K., Kristensen L.M. Coloured Petri nets: modelling and validation of concurrent systems 2009, Springer, Berlin Heidelberg.
81. Genrich H., Küffner R., Voss K. Executable Petri net models for the analysis of metabolic pathways. Int J Software Tools Technol Tran 2001, 3(4):394-404.
82. Bahi-Jaber N., Pontier D. Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets. Math Biosci 2003, 185:1-13.
83. Liu F, Heiner M, Rohr C. The manual for colored Petri nets in snoopy-QPNC/SPNC/CPNC/GHPNC. Tech. Rep. 02-12 BTU Cottbus, Dep. of CS; 2012.
84. Liu F. Colored Petri nets for systems biology [PhD thesis]. BTU Cottbus, Dep. of CS; 2012.
85. Gilbert D., Heiner M., Liu F., Saunders N. Colouring space-a coloured framework for spatial modelling in systems biology. PETRI NETS 2013; 7927 of LNCS 2013, 230-249. Springer, Berlin.
86. Parvu O., Gilbert D., Heiner M., Liu F., Saunders N. Modelling and analysis of phase variation in bacterial colony growth. Proc. CMSB 2013; 8130 of LNCS/LNBI 2013, 78-91. Springer, Berlin.
87. Liu F., Blätke M.A., Heiner M., Yang M. Modelling and simulating reaction-diffusion systems using colored Petri nets. Computers in Biology and Medicine October 2014, 53:297308.
88. Gao Q., Gilbert D., Heiner M., Liu F., Maccagnola D., Tree D. Multiscale modelling and analysis of planar cell polarity in the Drosophila wing. IEEE ACM Trans Comput Biol Bioinform 2013, 10:337-351.
89. Gecode. Gecode: an open constraint solving library; 2013. Available from: . http://www.gecode.org.
90. Heiner M., Koch I., Voss K. Analysis and simulation of steady states in metabolic pathways with Petri nets 2001, Proc. CPN workshop. University of Aarhus, In, p. 15-34.
91. Voss K., Heiner M., Koch I. Steady state analysis of metabolic pathways using Petri nets. In Silico Biol 2003, 3:367-387.
92. Runge T. Application of coloured Petri nets in systems biology 2004, Proc. CPN workshop. University of Aarhus, In, p. 77-95.
93. Liu F., Heiner M. Modeling membrane systems using colored stochastic Petri nets. Nat Computing 2013, 12:617-629.
94. Liu F., Heiner M. Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets. IET Syst Biol 2013, 7:106-113.
95. Liu F., Heiner M., Yang M. Modeling and analyzing biological systems using colored hierarchical Petri nets, illustrated by C. elegans vulval development. WSPC J Biol Syst 2014, 22:463-493.
96. Herajy M, Liu F, Rohr C. Coloured hybrid Petri nets for systems biology. In: Proc. BioPPN 2014; 1159 of CEUR workshop proceedings. CEUR-WS.org; 2014. p. 60-76.
97. Blätke M.A., Heiner M., Marwan W. Predicting phenotype from genotype through automatically composed Petri nets. Proc. CMSB 2012; 7605 of LNCS/LNBI 2012, 87-106. Springer, Berlin.
98. Blätke M.A., Dittrich A., Rohr C., Heiner M., Schaper F., Marwan W. JAK/STAT signalling-an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Mol Biosyst 2013, 9:1290-1307.
99. Heiner M., Gilbert D. Biomodel engineering for multiscale systems biology progress. Biophys Mol Biol 2013, 111:119-128.
100. Gu X., Trybilo M., Ramsay S., Jensen M., Fulton R., Rosser S., et al. Engineering a novel self-powering electrochemical biosensor. Syst Synth Biol 2010, 4(3):203-214.