zbMATH — the first resource for mathematics

Petri net models for the semi-automatic construction of large scale biological networks. (English) Zbl 1251.92012
Summary: For the implementation of the virtual cell, the fundamental question is how to model and simulate complex biological networks. During the last 15 years, Petri nets have attracted more and more attention to help to solve this key problem. Regarding the published papers, it seems clear that hybrid functional Petri nets are the adequate method to model complex biological networks. Today, a Petri net model of biological networks is built manually by drawing places, transitions and arcs with mouse events. Therefore, based on relevant molecular data bases and information systems biological data integration is an essential step in constructing biological networks.
We motivate the application of Petri nets for modeling and simulation of biological networks. Furthermore, we present a type of access to relevant metabolic data bases such as KEGG, BRENDA, etc. Based on this integration process, the system supports semi-automatic generation of the correlated hybrid Petri net model. A case study of the cardio-disease related gene-regulated biological network is also presented. MoVisPP is available at http://agbi.techfak.uni-bielefeld.de/movispp/.

92C42 Systems biology, networks
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI
[1] Alla H, David R (1998) Continuous and hybrid Petri nets. J Circuits Syst Comput 8(1):159–188 · doi:10.1142/S0218126698000079
[2] Bairoch A (2000) The ENZYME database in 2000. Nucleic Acids Res 28:304–305 · Zbl 05434811 · doi:10.1093/nar/28.1.304
[3] Berman HM, Westbrook J, Feng Z et al (2000) The Protein Data Bank. Nucleic Acids Res 28:235–242 · Zbl 05434923 · doi:10.1093/nar/28.1.235
[4] Chaouiya C, Remy E, Ruet P et al (2004) Qualitative modeling of genetic networks: from logical regulatory graphs to standard Petri nets. Lect Notes Comput Sci 3099:137–156 · Zbl 1094.68581 · doi:10.1007/978-3-540-27793-4_9
[5] Chatr-aryamontri A, Ceol A, Montechi Palazzi L et al (2007) MINT: the Molecular INTeraction database. Nucleic Acids Res 35:D572–D574 · Zbl 05438093 · doi:10.1093/nar/gkl950
[6] Chen M (2002) Modelling and simulation of metabolic networks: Petri nets approach and perspective. In: Proceeding of ”ESM 2002, 16th European Simulation Multiconference”, June 3–5, Darmstadt, Germany, pp 441–444
[7] Chen M, Hofestädt R (2003) Quantitative Petri net model of gene regulated metabolic networks in the cell. In Silico Biol 3(3):347–365
[8] Chen M, Freier A, Hofestädt R (2005) Bioinformatics approaches for metabolic pathways. In: Sensen CW (ed) Handbook of genome research. WILEY–VCH Verlag GmbH & Co., Weinheim, pp 461–490
[9] Comet J, Klaudel H, Liauzu S (2005) Modeling multi-valued genetic regulatory networks using high-level Petri nets. Lect Notes Comput Sci 3536:208–227 · Zbl 1128.68376 · doi:10.1007/11494744_13
[10] Costanza R, Voinov A (2001) Modelling ecological and economic systems with STELLA: part III. Ecol Model 143(1–2):1–7 · doi:10.1016/S0304-3800(01)00358-1
[11] David R, Alla H (1992) Petri nets and Grafcet–tools for modeling discrete event systems. Prentice Hall, Upper Saddle River · Zbl 0810.68014
[12] Doi A, Drath R, Nagasaki M et al (1999) Protein dynamics observations of lambda phage by hybrid Petri net. Genome Inform 10:217–218
[13] Doi A, Nagasaki M, Matsuno H et al (2006) Simulation-based validation of the p53 transcriptional activity with hybrid functional Petri net. In Silico Biol 6:0001
[14] Drath R (1998) Hybrid object nets: an object oriented concept for modeling complex hybrid systems. In: Proc. Hybrid dynamical systems, 3rd international conference on automation of mixed processes, ADPM’98, pp 437–442
[15] Funahashi A, Tanimura N, Morohashi M et al (2003) Cell Designer: a process diagram editor for gene-regulatory and biochemical networks. Biosilico 1:159–162 · doi:10.1016/S1478-5382(03)02370-9
[16] Garvey TD, Lincoln P, Pedersen CJ et al (2003) BioSPICE: access to the most current computational tools for biologists. OMICS 7:411–420 · doi:10.1089/153623103322637715
[17] Gene Ontology Consortium (2006) The Gene Ontology (GO) project in 2006. Nucleic Acids Res 34:D322–D326 · Zbl 05434937 · doi:10.1093/nar/gkj021
[18] Genrich H, Kueffner R, Voss K (2001) Executable Petri net models for the analysis of metabolic pathways. Int J STTT 3(4):394–404 · Zbl 0993.68063
[19] Gilbert D, Heiner M, Rosser S, Fulton R, Gu X, Trybilo M (2008) A case study in model-driven synthetic biology. In: IFIP WCC 2008, 2nd IFIP conference on biologically inspired collaborative computing (BICC 2008), vol 268, Milano, September 2008. Springer, Boston, IFIP, pp 163–175
[20] Goryanin I, Hodgman TC, Selkov E (1999) Mathematical simulation and analysis of cellular metabolism and regulation. Bioinformatics 15:749–758 · doi:10.1093/bioinformatics/15.9.749
[21] Goss PJE, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95:6750–6755 · doi:10.1073/pnas.95.12.6750
[22] Goss PJE, Peccoud J (1999) Analysis of the stabilizing effect of Rom on the genetic network controlling ColE1 plasmid replication. In: Pacific symposium on biocomputing’99, pp 65–76
[23] Gronewold A, Sonnenschein M (1997) Asynchronous layered cellular automata for the structured modeling of ecological systems. In: 9th European simulation symposium (ESS’97), SCS, pp 286–290
[24] Gronewold A, Sonnenschein M (1998) Event-based modeling of ecological systems with asynchronous cellular automata. Ecol Model 108:37–52 · doi:10.1016/S0304-3800(98)00017-9
[25] Hamosh A, Scott AF, Amberger JS et al (2005) Online Inheritance in Man (OMIM), a knowledgebase of human gene and genetic disorders. Nucleic Acid Res 33:D514–D517 · Zbl 05437466 · doi:10.1093/nar/gki033
[26] Heiner M, Koch I, Will J (2004) Model validation of biological pathways using Petri nets–demonstrated for apoptosis. Biosystems 75:15–28 · Zbl 1112.92321 · doi:10.1016/j.biosystems.2004.03.003
[27] Heiner M, Richter R, Schwarick M, Rohr C (2008a) Snoopy–a tool to design and execute graph-based formalisms. Petri Net Newsl 74:8–22
[28] Heiner M, Gilbert D, Donaldson R (2008b) Petri nets for systems and synthetic biology. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008, LNCS, vol 5016. Springer, Heidelberg, pp 215–264
[29] Hofestädt R (1994) A Petri net application to model metabolic processes. SAMS 16:113–122 · Zbl 0829.92010
[30] Hofestädt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1:39–53
[31] Hoops S, Sahle S, Gauges R et al (2006) COPASI–a COmplex PAthway SImulator. Bioinformatics 22:3067–3074 · doi:10.1093/bioinformatics/btl485
[32] Hu ZJ, Mellor J, Wu J et al (2004) VisANT: an online visualization and analysis tool for biological interaction data. BMC Bioinform 5:17 · doi:10.1186/1471-2105-5-17
[33] Huang H, Barker WC, Chen Y et al (2003) iProClass: an integrated database of protein family, function and structure information. Nucleic Acids Res 31(1):390–392 · Zbl 05435756 · doi:10.1093/nar/gkg044
[34] Jacob F, Monod J (1961) Genetic regulatory mechanisms in the synthesis of proteins. J Mol Biol 3:318–356 · doi:10.1016/S0022-2836(61)80072-7
[35] Kanehisa M, Goto S (2000) KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acid Res 28(1):27–30 · Zbl 05435931 · doi:10.1093/nar/28.1.27
[36] Kauffman S (1969) Metabolic stability and epigenesis in randomly connected nets. J Theor Biol 11:326–356
[37] Kitano H, Funahashi A, Matsuoka Y et al (2005) Using process diagram for the graphical representation of biological networks. Nat Biotechnol 23(8):961–966 · doi:10.1038/nbt1111
[38] Koh G, Teong H, Clément V et al (2006) A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathway and their crosstalk. Bioinformatics 2:271–280
[39] Kueffner R, Zimmer R, Lengauer T (2000) Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 16(9):825–836 · doi:10.1093/bioinformatics/16.9.825
[40] Lee D, Zimmer R, Lee S et al (2006) Colored Petri net modeling and simulation of signal transduction pathways. Metab Eng 8:112–122 · doi:10.1016/j.ymben.2005.10.001
[41] Loew LM, Schaff JC (2001) The virtual cell: a software environment for computational cell biology. Trends Biotechnol 19:401–406 · doi:10.1016/S0167-7799(01)01740-1
[42] Matsuno H, Doi A, Nagasaki M et al (2000) Hybrid Petri net representation of gene regulatory network. Pac Symp Biocomput 5:338–349
[43] Matsuno H, Doi A, Drath R et al (2001) Genomic Object Net: basic architecture for representing and simulating biopathways. In: RECOMB’2001, April 20, Montréal, Canada
[44] Matsuno H, Murakami R, Yamane R et al (2003) Boundary formation by notch signaling in Drosophila multicellular systems: experimental observations and a gene network modeling by Genomic Object Net. Pac Symp Biocomput :152–163 · Zbl 1219.92006
[45] Mendes P (1993) GEPASI: a software package for modeling the dynamics, steady states and control of biochemical and other systems. Comput Appl Biosci :563–571
[46] Michaelis L, Menten ML (1913) Die Kinetik der Invertinwirkung. Biochem Z 49:333–369
[47] Michal G (1982) Biochemical pathways wall chart. Boehringer Mannheim GmbH Biochemica, Mannheim
[48] Nagasaki M, Doi A, Matsuno H et al (2003) Genomic Object Net: a platform for modelling and simulating biopathways. Appl Bioinform 2(3):181–184
[49] Nagasaki M, Doi A, Matsuno H et al (2004) Integrating biopathway databases for large-scale modeling and simulation. In: The second Asia–Pacific bioinformatics conferences, volume 29 of conferences in research and practice in information technology, Australian Computer Society, pp 43–52
[50] Petri CA (1962) Kommunikation mit Automaten. Dissertation, Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, Bonn
[51] Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri Net representation in metabolic pathways. In: Proceedings first international conference on intelligent systems for molecular biology, AAAI Press, Menlo Park, pp 328–336
[52] Reisig WA (1982) Primer in Petri Net design. Springer, Berlin
[53] Ruth M, Hannon B (1997) Modeling dynamic biological systems. Springer, New York · Zbl 0887.92001
[54] Sackmann A, Heiner M, Koch I (2006) Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform 7:482 · doi:10.1186/1471-2105-7-482
[55] Sauro HM (1993) SCAMP: a general-purpose simulator and metabolic control analysis program. Comput Appl Biosci 9:441–450
[56] Shaw O, Steggles J, Wipat A (2005) Automatic parameterisation of stochastic Petri net models of biological network. Electron Notes Theor Comput Sci (ENTCS) 153:111–129
[57] Siepel A, Farmer A, Tolopko A et al (2001) ISYS: a decentralized, component-based approach to the integration of heterogeneous bioinformatics resources. Bioinformatics 17:83–94 · doi:10.1093/bioinformatics/17.1.83
[58] Simao E, Remy E, Thieffry D et al (2005) Qualitative Modeling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli. Bioinformatics 21:190–196 · doi:10.1093/bioinformatics/bti1130
[59] Steggles L, Banks R, Shaw O et al (2007) Qualitatively modeling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23:336–343 · doi:10.1093/bioinformatics/btl596
[60] Tomita M, Hashimoto K, Takahashi K et al (1999) E-CELL: software environment for whole-cell simulation. Bioinformatics 15:72–84 · doi:10.1093/bioinformatics/15.1.72
[61] Troncale S, Tahi F, Campard D et al (2006) Modeling and simulation with hybrid functional Petri nets of the role of Interleukin-6 in human early haematopoiesis. Pac Symp Biocomput 11:427–438
[62] Valk R (1978) Self-modifying nets: a natural extension of Petri nets. LNCS 62:464–476 · Zbl 0415.68025
[63] Voss K, Heiner M, Koch I (2003) Steady state analysis of metabolic pathways using Petri nets. In Silico Biol 3:0031
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.