Modeling and simulation of molecular biology systems using Petri nets: Modeling goals of various approaches

Journal of Bioinformatics and Computational Biology

Volumn 2, Issue 4, 2004, Pages 619-637

  Hardy, Simon ^a   Robillard, Pierre N ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

Biochemical pathways modeling; Petri net; Qualitative analysis; Simulation

Indexed keywords

GLUCOSE; PROTEIN;

ANALYTIC METHOD; BIOCHEMISTRY; COMPUTER MODEL; COMPUTER SIMULATION; GLUCOSE METABOLISM; GLYCOLYSIS; MATHEMATICAL ANALYSIS; MATHEMATICAL MODEL; MOLECULAR BIOLOGY; PROTEIN ANALYSIS; QUALITATIVE ANALYSIS; REVIEW; SCIENTIFIC LITERATURE; STOCHASTIC MODEL; THEORY;

EID: 10944244598     PISSN: 02197200     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0219720004000764     Document Type: Review

References (51)

1. Kitano H, Computational systems biology, Nature 420 206-210, 2002.
2. Heinrich R, Schuster S, The modelling of metabolic systems. Structure, control and optimality, Biosystems 47:61-77, 1998.
3. Mendes P, GEPASI: A software package for modelling the dynamics, steady states and control of biochemical and other systems, Comput Appl Biosci 9(5):563-571, 1993.
4. Tomita M, Hashimoto K, Tabahaski K, Shimizu T, Matsuzaki Y, Miyoshi F, Saito K, Tanida S, Yugi K, Venter JC, Hutchison C, E-CELL: Software for whole cell simulation, Bioinformatics 15:72-84, 1999.
5. Kauffman SA, The Origins of Order: Self-Organization and Selection in Evolution, Oxford University Press, New York, 1993.
6. Yuh CH, Bolouri H, Davidson EH, Cis-regulatory logic in the endo 16 gene: Switching from a specification to a differentiation mode of control, Development 128:617-629, 2001.
7. Goss PJE, Peccoud J, Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets, Proc Natl Acad Sci USA 95:6750-6755, 1998.
8. Arkin A, Ross J, McAdams HH, Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli cells, Genetics 149: 1633-1648, 1998.
9. de Jong H, Modeling and simulation of genetic regulatory systems: A literature review, J Comput Biol 9(1):67-103, 2002.
10. Endy D, Brent R, Modelling cellular behavior, Nature 409 391-395, 2001.
11. Bower JM, Bolouri H, Computational Modeling of Genetic and Biochemical Net-works, MIT Press, Cambridge, MA, 2001.
12. Collado-Vides J, Hofestädt R, Gene Regulation and Metabolism - Postgenomic Computational Approaches. MIT Press, Cambridge, MA, 2002.
13. Reddy VN, Mavrovouniotis ML, Liebman MN, Petri net representation in metabolic pathways, Proc First ISMB, 328-336, 1993.
14. Bahi-Jaber N, Pontier D, Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets, Math Biosci 185:1-13, 2003.
15. Gronewold A, Sonnenschein M, Event-based modelling of ecological systems with asynchronous cellular automata, Ecol Modelling 108:37-52, 1998.
16. Sharov A, Self-reproducing systems: Structure, niche relations and evolution, Biosystems 25(4):237-249, 1991.
17. Peleg M, Yeh I, Altman RB, Modelling biological processes using workflow and Petri net models, Bioinformatics 18 6):825-837, 2002.
18. Chen M, Hofestädt R, Quantitative Petri net model of gene regulated metabolic networks in the cell, In Silico Biol 3, http://www.bioinfo.de/isb/2003/03/0030/, 2003.
19. Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S, Biopath-ways representation and simulation on hybrid functional Petri net, In Silico Biol 3, http://www.bioinfo.de/isb/2003/03/0032/, 2003.
20. Matsuno H, Fujita S, Doi A, Nagasaki M, Miyano S, Towards biopathways modeling and simulation, Lect Notes Comput Sci 2679:3-22, 2003.
21. Oliveira JS, Bailey CG, Jones-Oliveira JB, Dixon DA, Gull DW, Chandler ML, A Computational model for the identification of biochemical pathways in the Krebs cycle, J Comput Biol 10(1):57-82, 2003.
22. Voss K, Heiner M, Koch I, Steady-state analysis of metabolic pathways using Petri nets, In Silico Biol 3, http://www.bioinfo.de/isb/2003/03/0031/, 2003.
23. Zevedei-Oancea I, Schuster S, Topological analysis of metabolic networks based on Petri net theory, In Silico Biol 3, http://www.bioinfo.de/isb/2003/03/0029/, 2003.
24. Matsuno H, Doi A, Hirata Y, Miyano S, XML documentation of biopathways and their simulations in Genomic Object Net, Genome Inform 12 54-62, 2001.
25. Nagasaki M, Doi A, Matsuno H, Miyano S, Genomic Object Net: I. A platform for modeling and simulating biopathways, App Bioinform 2 3):181-184, 2003.
26. Doi A, Nagasaki M, Fujita S, Matsuno H, Miyano S, Genomic Object Net: II. Modeling biopathways by hybrid functional Petri net with extension, App Bioinform 2(3):185-188, 2003.
27. Chen M, Freier A, Köhler J, Rüegg A, The biology Petri net markup language, Proc Promise 2002, 150-161, 2002.
28. Küffner R, Zimmer R, Lengauer T, Pathway analysis in metabolic databases via differential metabolic display (DMD), Bioinformatics 16(9):825-836, 2000.
29. Reisig W, Petri Nets: An Introduction, Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
30. Reddy VN, Liebman MN, Mavrovouniotis ML, Qualitative analysis of bio chemical reaction systems, Comput Biol Med 26(1):9-24, 1996.
31. Hofestädt R, A Petri net application of metabolic processes, J System Analysis, Modeling and Simulation 16:113-122, 1994.
32. Hofestädt R, Thelen S, Quantitative modeling of metabolic processes, In Silico Biol 1, http://www.bioinfo.de/isb/1998/01/0006/, 1998.
33. Valk R, Self-modifying nets, a natural extension of Petri nets, Lect Notes Comput Sci 62(ICALP), 464-476, 1978.
34. Ajmone Marsan M, Balbo G, Chiola G, Conte G, Donatelli S, Fransces-chinis G, An introduction to generalized stochastic Petri nets, Microelectron Reliab 31(4): 699-725, 1991.
35. Goss PJE, Peccoud J, Analysis of the stabilizing effect of Rom on the genetic network controllin ColE1 plasmid replication, Pac Symp Biocomput 4:65-76, 1999.
36. 32-targeted antisense, Biotechnol Bioeng 75(1):120-129, 2001.
37. Srivastava R, You L, Summers J, Yin J, Stochastic versus deterministic modeling of intracellular viral kinetics, J Theor Biol 218 309-321, 2002.
38. Möbius and UltraSAN, http://www.crhc.uiuc.edu/PER.FORM/.
39. Jensen K, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Monographs on Theoritical Computer Science, Springer-Verlag (1992).
40. Design/CPN, http://daimi.au.uk/designCPN/.
41. Genrich H, Küffner R, Voss K, Executable Petri net models for the analysis of metabolic pathways, Int J STTT 3(4):394-404, 2001.
42. BRENDA, http://www.brenda.uni-koeln.de:80/.
43. Heiner M, Koch I, Voss K, Analysis and simulation of steady states in metabolic pathways with Petri nets, in Third Workshop and Tutorial on Practical Use of Colored Petri Nets and CPN Tools, Univ. of Aarhus, DAIMI PB-554, 15-34, 2001.
44. Alla H, David R, Continuous and hybrid Petri nets, J Circuits Syst Comp 8(1):159-188, 1998.
45. Matsuno H, Doi A, Nagasaki M, Miyano S, Hybrid Petri net representation of gene regulatory network, Pac Symp Biocomput 5:338-349, 2000.
46. Visual Object Net++, http://www.systemtechnik.tu-ilmenau.de/~drath/visual.htm.
47. Genomic Object Net, http://genomicobject.net.
48. Matsuno H, Murakani R, Yamane R, Yamasaki N, Fujita S, Yoshimori H, Miyano S, Boundary formation by Notch signaling in Drosophila multicellular systems: Experimental observations and gene network modeling by Genomic Object Net, Pac Symp Biocomput 8:152-163, 2003.
49. Matsui M, Doi A, Matsuno H, Hirata Y, Miyano S, Biopathways model conversion from E-CELL to Genomic Object Net, Genome Inform 12 290-291, 2001.
50. Oliveira JS, Bailey CG, Jones-Oliveira JB, Dixon DA, An algebraic-combinatorial model for the identification and mapping of biochemical pathways, Bull Math Biol 63:1163-1196, 2001.
51. Chen M, Modelling and simulation of metabolic networks: Petri net approach and perspective, Proc ESM 2002, 441-444, 2002.