{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T18:20:29Z","timestamp":1771266029529,"version":"3.50.1"},"reference-count":124,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,2,24]],"date-time":"2010-02-24T00:00:00Z","timestamp":1266969600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11047-010-9180-6","type":"journal-article","created":{"date-parts":[[2010,2,23]],"date-time":"2010-02-23T15:41:43Z","timestamp":1266939703000},"page":"955-989","source":"Crossref","is-referenced-by-count":84,"title":["Petri nets for modelling metabolic pathways: a survey"],"prefix":"10.1007","volume":"9","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[]},{"given":"Nicoletta","family":"Cocco","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,2,24]]},"reference":[{"key":"9180_CR21","doi-asserted-by":"crossref","unstructured":"Agerwala T (1974) A complete model for representing the coordination of asynchronous processes. Hopkins computer research report 32. John Hopkins University","DOI":"10.2172\/4242290"},{"key":"9180_CR22","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. Wiley, New York"},{"key":"9180_CR23","volume-title":"Atkins\u2019 physical chemistry","author":"P Atkin","year":"2006","unstructured":"Atkin P, de Paula J (2006) Atkins\u2019 physical chemistry. Oxford University Press, Oxford"},{"key":"9180_CR24","doi-asserted-by":"crossref","unstructured":"Balbo G (2007) Introduction to generalized stochastic Petri nets. In: Bernardo M and Hillston J (eds) Formal methods for performance evaluation, vol 4486 of LNCS. Springer, Berlin, pp 83\u2013131","DOI":"10.1007\/978-3-540-72522-0_3"},{"issue":"1","key":"9180_CR25","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1093\/bioinformatics\/btl554","volume":"23","author":"JE Beasley","year":"2007","unstructured":"Beasley JE, Planes FJ (2007) Recovering metabolic pathways via optimization. Bioinformatics 23(1):92\u201398","journal-title":"Bioinformatics"},{"key":"9180_CR1","unstructured":"BioCarta: charting pathways of life. http:\/\/www.biocarta.com"},{"key":"9180_CR2","unstructured":"BioCyc: database collection. http:\/\/www.BioCyc.org"},{"key":"9180_CR3","unstructured":"Biomodels database. http:\/\/www.ebi.ac.uk\/biomodels"},{"key":"9180_CR4","unstructured":"Biomolecular interaction networks database. http:\/\/www.bond.unleashedinformatics.com"},{"issue":"17","key":"9180_CR26","first-page":"80","volume":"1","author":"S Borger","year":"2006","unstructured":"Borger S, Liebermeister W, Klipp E (2006) Prediction of enzyme kinetic parameters based on statistical learning. Genome Inf Ser 1(17):80\u201387","journal-title":"Genome Inf Ser"},{"key":"9180_CR27","unstructured":"Borger S, Uhlendorf J, Helbig A, Liebermeister W (2007) Integration of enzyme kinetic data from various sources. In Silico Biol 7(S1 09)"},{"issue":"5","key":"9180_CR28","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1093\/bib\/bbn026","volume":"9","author":"R Breitling","year":"2008","unstructured":"Breitling R, Gilbert D, Heiner M, Orton R (2008) A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Brief Bioinform 9(5):404\u2013421","journal-title":"Brief Bioinform"},{"key":"9180_CR5","unstructured":"BRENDA: the comprehensive enzyme information system. http:\/\/www.brenda-enzymes.info"},{"issue":"1-2","key":"9180_CR29","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0304-3975(01)00127-X","volume":"275","author":"N Busi","year":"2002","unstructured":"Busi N (2002) Analysis issues in Petri nets with inhibitor arcs. Theor Comput Sci 275(1\u20132):127\u2013177","journal-title":"Theor Comput Sci"},{"key":"9180_CR30","unstructured":"Caspi R, Foerster H, Fulcher CA, Kaipa P, Krummenacker M, Latendresse M, Paley S, Rhee SY, Shearer AG, Tissier C, Walk TC, Zhang P, Karp PD (2008) The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of pathway\/genome databases. Nucleic Acids Res 36(Database Issue):D623\u2013D631"},{"key":"9180_CR31","doi-asserted-by":"crossref","unstructured":"Chang A, Scheer M, Grote A, Schomburg I, Schomburg D (2009) BRENDA, AMENDA and FRENDA the enzyme information system: new content and tools in 2009. Nucleic Acids Res 37(Database Issue):D588\u2013D592","DOI":"10.1093\/nar\/gkn820"},{"issue":"4","key":"9180_CR32","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C (2007) Petri net modelling of biological networks. Brief Bioinform 8(4):210\u2013219","journal-title":"Brief Bioinform"},{"issue":"2","key":"9180_CR33","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C Chaouiya","year":"2008","unstructured":"Chaouiya C, Remy E, Thieffry D (2008) Petri net modelling of biological regulatory networks. J Discrete Algorithms 6(2):165\u2013177","journal-title":"J Discrete Algorithms"},{"key":"9180_CR34","doi-asserted-by":"crossref","unstructured":"Chatraryamontri A, Ceol A, Montecchi Palazzi L, Nardelli G, Schneider MV, Castagnoli L, Cesareni G (2007) MINT: the Molecular INTeraction database. Nucleic Acids Res 35(Database Issue):D572\u2013D574","DOI":"10.1093\/nar\/gkl950"},{"key":"9180_CR35","unstructured":"Chen M (2002) Modelling and simulation of metabolic networks: Petri nets approach and perspective. In: Proceedings of the European simulation multiconference on modelling and simulation, pp 441\u2013444"},{"key":"9180_CR37","unstructured":"Chen M, Hofest\u00e4dt R (2003) Quantitative Petri net model of gene regulated metabolic networks in the cell. In Silico Biol 3(0029):347\u2013365"},{"key":"9180_CR36","unstructured":"Chen M, Freier A, Koehler J, Ruegg A (2002) The biology Petri net markup language. In: Promise2002. Lecture notes in informatics, pp 150\u2013161"},{"key":"9180_CR38","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.pbiomolbio.2004.04.002","volume":"86","author":"EJ Crampin","year":"2004","unstructured":"Crampin EJ, Schnell S, McSharry PE (2004) Matematical and computational techniques to deduce complex biochemical reaction mechanisms. Prog Biophys Mol Biol 86:77\u2013112","journal-title":"Prog Biophys Mol Biol"},{"key":"9180_CR6","unstructured":"Database of Interacting Proteins. http:\/\/www.dip.doe-mbi.ucla.edu"},{"key":"9180_CR39","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"R David","year":"2005","unstructured":"David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets. Springer, Heidelberg"},{"issue":"1","key":"9180_CR40","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H Jong de","year":"2002","unstructured":"de Jong H (2002) Modelling and simulation of genetic regulatory systems: a literature review. J Comput Biol 9(1):67\u2013103","journal-title":"J Comput Biol"},{"key":"9180_CR41","volume-title":"Free choice Petri nets","author":"J Desel","year":"2005","unstructured":"Desel J, Esparza J (2005) Free choice Petri nets. Cambridge University Press, Cambridge"},{"key":"9180_CR7","unstructured":"Design\/CPN: computer tool for coloured petri nets. http:\/\/www.daimi.au.dk\/designCPN"},{"issue":"3","key":"9180_CR42","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1093\/bib\/4.3.246","volume":"4","author":"Y Deville","year":"2003","unstructured":"Deville Y, Gilbert D, van Helden J, Wodak SJ (2003) An overview of data models for the analysis of biochemical pathways. Brief Bioinform 4(3):246\u2013259","journal-title":"Brief Bioinform"},{"issue":"0023","key":"9180_CR43","doi-asserted-by":"crossref","first-page":"271","DOI":"10.3233\/ISB-00133","volume":"4","author":"A Doi","year":"2004","unstructured":"Doi A, Fujita S, Matsuno H, Nagasaki M, Miyano S (2004) Constructing biological pathway models with hybrid functional Petri net. In Silico Biol 4(0023):271\u2013291","journal-title":"In Silico Biol"},{"key":"9180_CR44","doi-asserted-by":"crossref","unstructured":"Doi A, Nagasaki M, Matsuno H (2006) Simulation-based validation of the p53 transcriptional activity with hybrid functional Petri net. In Silico Biol 6(0001):1\u201313","DOI":"10.3233\/ISB-00216"},{"issue":"3","key":"9180_CR45","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1046\/j.1462-2920.2002.00282.x","volume":"4","author":"JS Edwards","year":"2002","unstructured":"Edwards JS, Covert M, Palsson BO (2002) Metabolic modelling of microbes: the flux-balance approach. Environ Microbiol 4(3):133\u2013140","journal-title":"Environ Microbiol"},{"key":"9180_CR8","unstructured":"ENZYME: enzyme nomenclature database. http:\/\/www.expasy.ch\/enzyme"},{"key":"9180_CR46","unstructured":"Esparza J, Heljanko K (2008) Unfoldings\u2014a partial order approach to model checking. EACTS monographs in theoretical computer science. Springer, Berlin"},{"issue":"3","key":"9180_CR47","first-page":"143","volume":"30","author":"J Esparza","year":"1994","unstructured":"Esparza J, Nielsen M (1994) Decidability issues for Petri nets\u2014a survey. J Inf Process Cybern EIK 30(3):143\u2013160","journal-title":"J Inf Process Cybern EIK"},{"key":"9180_CR9","unstructured":"Extensible Markup Language. http:\/\/www.w3.org\/XML"},{"key":"9180_CR48","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1042\/bj2860313","volume":"286","author":"DA Fell","year":"1992","unstructured":"Fell DA (1992) Metabolic control analysis: a survey of its theoretical and experimental development. Biochem J 286:313\u2013330","journal-title":"Biochem J"},{"key":"9180_CR49","doi-asserted-by":"crossref","unstructured":"Ganty P, Raskin J-F, Van Begin L (2007) From many places to few: automatic abstraction refinement for Petri nets. In: Kleijn J, Yakovlev A (eds) Proceedings of ICATPN\u201907, vol 4546 of LNCS. Springer, Berlin, pp 124\u2013143","DOI":"10.1007\/978-3-540-73094-1_10"},{"key":"9180_CR50","unstructured":"Genrich H, K\u00fceffner R, Voss K (2000) Executable Petri net models for the analysis of metabolic pathways. In: Proceedings of the workshop on practical use of high-level Petri nets, pp 1\u201314"},{"issue":"104","key":"9180_CR51","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"25","author":"MA Gibson","year":"2000","unstructured":"Gibson MA, Bruck J (2000) Efficient exact stochastic simulation of chemical systems with many species and many channels. J Phys Chem 25(104):1876\u20131889","journal-title":"J Phys Chem"},{"key":"9180_CR52","doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M (2006) From Petri nets to differential equations\u2014an integrative approach for biochemical networks analysis. In: Petri nets and other models of concurrency\u2014ICATPN 2006, vol 4024 of LNCS. Springer, Berlin, pp 181\u2013200","DOI":"10.1007\/11767589_11"},{"key":"9180_CR53","doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M, Lehrack S (2007) A unifying frameworks for modelling and analysing biochemical pathways using Petri nets. In: Proceedings of the workshop on computational methods in systems biology (CMSB), pp 200\u2013216","DOI":"10.1007\/978-3-540-75140-3_14"},{"issue":"81","key":"9180_CR54","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"25","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 25(81):2340\u20132361","journal-title":"J Phys Chem"},{"issue":"12","key":"9180_CR55","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"PJ Goss","year":"1998","unstructured":"Goss PJ, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95(12):6750\u20136755","journal-title":"Proc Natl Acad Sci USA"},{"key":"9180_CR56","doi-asserted-by":"crossref","unstructured":"Grafahrend-Belau E, Schreiber F, Heiner M, Sackmann A, Junker BH, Grunwald S, Speer A, Winder K, Koch I (2008) Modularization of biochemical networks based on classification of Petri net T-invariants. BMC Bioinform 9:90","DOI":"10.1186\/1471-2105-9-90"},{"key":"9180_CR57","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.biosystems.2008.02.005","volume":"92","author":"S Grunwald","year":"2008","unstructured":"Grunwald S, Speer A, Ackermann J, Koch I (2008) Petri net modelling of gene regulation of the Duchenne muscular dystrophy. BioSystems 92:189\u2013205","journal-title":"BioSystems"},{"issue":"4","key":"9180_CR58","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S Hardy","year":"2004","unstructured":"Hardy S, Robillard PN (2004) Modeling and simulation of molecular biology systems using Petri nets: modeling goals of various approaches. J Bioinform Comput Biol 2(4):619\u2013637","journal-title":"J Bioinform Comput Biol"},{"issue":"2","key":"9180_CR59","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1093\/bioinformatics\/btm560","volume":"24","author":"S Hardy","year":"2008","unstructured":"Hardy S, Robillard PN (2008) Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways. Bioinformatics 24(2):209\u2013217","journal-title":"Bioinformatics"},{"key":"9180_CR61","doi-asserted-by":"crossref","unstructured":"Heiner M, Koch I (2004) Petri net based model validation in systems biology. In: Petri nets and other models of concurrency\u2014ICATPN 2004, vol 3099 of LNCS. Springer, Berlin, pp 216\u2013237","DOI":"10.1007\/978-3-540-27793-4_13"},{"key":"9180_CR62","unstructured":"Heiner M, Koch I, Schuster S (2000) Using time-dependent Petri nets for the analysis of metabolic networks. In: Hofestadt R, Lautenbach K, Lange M (eds) Workshop Modellierung und Simulation Metabolischer Netzwerke, preprint no. 10. Otto-von-Guericke University of Magdeburg, pp 15\u201321"},{"key":"9180_CR63","unstructured":"Heiner M, Koch I, Voss K (2001) Analysis and simulation of steady states in metabolic pathways with Petri nets. In: Workshop and tutorial on practical use of coloured Petri nets and the CPN tools (CPN\u201901), pp 15\u201334"},{"key":"9180_CR64","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.biosystems.2004.03.003","volume":"75","author":"M Heiner","year":"2004","unstructured":"Heiner M, Koch I, Will J (2004) Model validation of biological pathways using Petri nets\u2014demostrated for apoptosis. Biosystems 75:15\u201328","journal-title":"Biosystems"},{"key":"9180_CR60","doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Proceedings of SFM\u201908, vol 5016 of LNCS. Springer, Berlin, pp 215\u2013264","DOI":"10.1007\/978-3-540-68894-5_7"},{"key":"9180_CR65","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1111\/j.1432-1033.1974.tb03318.x","volume":"42","author":"R Heinrich","year":"1974","unstructured":"Heinrich R, Rapoport TA (1974) A linear steady-state treatment of enzymatic chains. Eur J Biochem 42:89\u201395","journal-title":"Eur J Biochem"},{"key":"9180_CR66","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1006\/jtbi.1993.1141","volume":"164","author":"T Hofer","year":"1993","unstructured":"Hofer T, Heinrich R (1993) A second order approach to metabolic control analysis. J Theor Biol 164:85\u2013102","journal-title":"J Theor Biol"},{"key":"9180_CR67","first-page":"113","volume":"16","author":"R Hofest\u00e4dt","year":"1994","unstructured":"Hofest\u00e4dt R (1994) A Petri net application of metbolic processes. J Syst Anal Model Simul 16:113\u2013122","journal-title":"J Syst Anal Model Simul"},{"key":"9180_CR68","doi-asserted-by":"crossref","unstructured":"Hofest\u00e4dt R, Thelen S (1998) Quantitative modeling of biochemical networks. In Silico Biol 1(0006)","DOI":"10.3233\/ISB-00006"},{"key":"9180_CR69","doi-asserted-by":"crossref","unstructured":"Jensen K (1997) Coloured Petri nets. Basic concepts, analysis methods and practical use. Monographs in Theoretical Computer Science. Springer, Berlin","DOI":"10.1007\/978-3-642-60794-3"},{"key":"9180_CR70","first-page":"D480","volume":"34","author":"M Kanehisa","year":"2008","unstructured":"Kanehisa M, Araki M, Goto S, Hattori M, Hirakawa M, Itoh M, Katayama T, Kawashima S, Okuda S, Tokimatsu T, Yamanishi Y (2008) KEGG for linking genomes to life and the environment. Nucleic Acids Res 34:D480\u2013D484","journal-title":"Nucleic Acids Res"},{"key":"9180_CR71","volume-title":"Introduction to computer system performance evaluation","author":"K Kant","year":"1992","unstructured":"Kant K (1992) Introduction to computer system performance evaluation. McGraw-Hill Inc., New York"},{"key":"9180_CR10","unstructured":"Kegg Markup Language manual. http:\/\/www.genome.ad.jp\/kegg\/docs\/xml"},{"key":"9180_CR11","unstructured":"KEGG pathway database\u2014Kyoto University Bioinformatics Centre. http:\/\/www.genome.jp\/kegg\/pathway.html"},{"key":"9180_CR72","doi-asserted-by":"crossref","unstructured":"Kielbassa J, Bortfeldt R, Schuster S, Koch I (2008) Modeling of the U1 snRNP assembly pathway in alternative splicing in human cell using Petri nets. Comput Biol Chem 33:46\u201361","DOI":"10.1016\/j.compbiolchem.2008.07.022"},{"key":"9180_CR73","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H Kitano","year":"2002","unstructured":"Kitano H (2002a) Computational systems biology. Nature 420:206\u2013210","journal-title":"Nature"},{"key":"9180_CR74","doi-asserted-by":"crossref","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano H (2002b) Systems biology: a brief overview. Science 295:1662\u20131664","journal-title":"Science"},{"key":"9180_CR75","doi-asserted-by":"crossref","unstructured":"Koch I, Heiner M (2008) Petri nets. In: Junker BH, Schreiber F (eds) Analysis of biological networks, book series in bioinformatics. Wiley, New York, pp 139\u2013179","DOI":"10.1002\/9780470253489.ch7"},{"issue":"7","key":"9180_CR76","first-page":"1219","volume":"21","author":"I Koch","year":"2005","unstructured":"Koch I, Junker BH, Heiner M (2005) Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Syst Biol 21(7):1219\u20131226","journal-title":"Syst Biol"},{"key":"9180_CR77","unstructured":"Koza JR (2003) Handbook of metaheuristics\u2014chap 7: automatic synthesis of topologies and numerical parameters, vol 57 of International Series in Operations Research and Management Science. Springer, New York"},{"key":"9180_CR78","unstructured":"Liebermeister W, Uhlendorf J, Borger S, Klipp E (2007) Automatic integration of kinetic data for metabolic network modelling. In: ICSB 2007, ACM, pp 80\u201387"},{"key":"9180_CR79","unstructured":"Lipton RJ (1976) The reachability problem requires exponential space, research report 62. Yale University, New Haven"},{"issue":"3","key":"9180_CR80","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1093\/bib\/5.3.270","volume":"5","author":"J Mandel","year":"2004","unstructured":"Mandel J, Palfreyman NM, Lopez JA, Dubitzky W (2004) Representing bioinformatics causality. Brief Bioinform 5(3):270\u2013283","journal-title":"Brief Bioinform"},{"key":"9180_CR81","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.jtbi.2005.03.018","volume":"236","author":"W Marwan","year":"2005","unstructured":"Marwan W, Sujatha A, Starostzik C (2005) Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri net modelling and simulation. J Theor Biol 236:349\u2013365","journal-title":"J Theor Biol"},{"key":"9180_CR82","doi-asserted-by":"crossref","unstructured":"Matsuno H, Fujita S, Doi A, Nagasaki M, Miyano S (2003a) Towards biopathway modeling and simulation. In: ICATPN 2003, vol 2679 of LNCS. Springer, Berlin, pp 3\u201322","DOI":"10.1007\/3-540-44919-1_2"},{"key":"9180_CR84","unstructured":"Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S (2003b) Biopathway representation and simulation on hybrid functional Petri net. In Silico Biol 3(0032):389\u2013404"},{"issue":"11","key":"9180_CR83","doi-asserted-by":"crossref","first-page":"3166","DOI":"10.1093\/ietfec\/e89-a.11.3166","volume":"E89-A","author":"H Matsuno","year":"2006","unstructured":"Matsuno H, Li C, Miyano S (2006) Petri net based descriptions for systematic understanding of biological pathways. EICE Trans Fundam Electron Commun Comput Sci E89-A(11):3166\u20133174","journal-title":"EICE Transaction on Fundamentals of Electronics, Communications and Computer Sciences"},{"key":"9180_CR85","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00289268","volume":"15","author":"EW Mayr","year":"1981","unstructured":"Mayr EW (1981) Persistence of vector replacement systems is decidable. Acta Inform 15:309\u2013318","journal-title":"Acta Informatica"},{"issue":"9","key":"9180_CR86","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"PM Merlin","year":"1976","unstructured":"Merlin PM, Farber DJ (1976) Recoverability of communication protocols\u2014implications of a theoretical study. IEEE Trans Commun 24(9):1036\u20131043","journal-title":"IEEE Trans Commun"},{"key":"9180_CR12","unstructured":"MetaCyc encyclopedia of metabolic pathways. http:\/\/www.metacyc.org"},{"key":"9180_CR13","unstructured":"MINT: the Molecular INTeraction database. http:\/\/www.mint.bio.uniroma2.it"},{"key":"9180_CR87","unstructured":"Miyano S, Matsuno H (2004) How to model and simulate biological pathways with Petri Nets\u2014a new challenge for system biology. In: International conference on applications and theory of Petri nets, Bologna, Italy"},{"key":"9180_CR88","doi-asserted-by":"crossref","first-page":"2467","DOI":"10.1101\/gr.1262503","volume":"13","author":"CG Moles","year":"2003","unstructured":"Moles CG, Mendes P, Banga R (2003) Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome Res 13:2467\u20132474","journal-title":"Genome Research"},{"key":"9180_CR89","unstructured":"Molloy MK (1981) On the integration of delay and throughput measures in distributed processing models. PhD thesis, UCLA, Los Angeles"},{"issue":"4","key":"9180_CR90","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"9180_CR91","unstructured":"Nagasaki M, Doi A, Matsuno H, Miyano S (2005) Petri net based description and modeling of biological pathways. In: Proceedings of the algebraic biology 2005. Universal Academy Press, pp 19\u201331"},{"issue":"1","key":"9180_CR92","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1089\/106652703763255679","volume":"10","author":"JS Oliveira","year":"2003","unstructured":"Oliveira JS, Bailey CG, Jones-Oliveira JB, Dixon DA, Gull DW, Chandler ML (2003) A computational model for the identification of biochemical pathways in the Krebs cycle. J Comput Biol 10(1):57\u201382","journal-title":"J Comput Biol"},{"key":"9180_CR93","doi-asserted-by":"crossref","unstructured":"Pastor E, Cortadella J, Pe\u00f1a M (1999) Structural methods to improve the symbolic analysis of Petri nets. In: Donatelli S, Kleijn HCM (eds) Proceedings of ICATPN\u201999, vol 1639 of LNCS. Springer, Berlin, pp 26\u201345","DOI":"10.1007\/3-540-48745-X_3"},{"key":"9180_CR14","unstructured":"PED\u2014a hierarchical Petri net editor. http:\/\/www.dssz.informatik.tu-cottbus.de\/index.html?\/software\/ped.htmll"},{"issue":"6","key":"9180_CR95","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1093\/bioinformatics\/18.6.825","volume":"18","author":"M Peleg","year":"2002","unstructured":"Peleg M, Yeh I, Altman RB (2002) Modelling biological processes using workflow and Petri net models. Bioinformatics 18(6):825\u2013837","journal-title":"Bioinformatics"},{"key":"9180_CR94","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M Peleg","year":"2005","unstructured":"Peleg M, Rabin D, Altman RB (2005) Using Petri net tools to study properties and dynamics of biological systems. J Am Med Inform Assoc 12:181\u2013199","journal-title":"J Am Med Inform Assoc"},{"key":"9180_CR96","volume-title":"Petri net theory and the modelling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, Englewood Cliffs"},{"key":"9180_CR15","unstructured":"Petri Net Markup Language. http:\/\/www.pnml.org"},{"key":"9180_CR16","unstructured":"Petri net tools. http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets\/tools"},{"key":"9180_CR97","first-page":"149","volume":"67","author":"L Popova-Zeugmann","year":"2005","unstructured":"Popova-Zeugmann L, Heiner M and Koch I (2005) Timed Petri nets for modelling and analysis of biochemical networks. Fundam Inform 67:149\u2013162","journal-title":"Fundam Inform"},{"key":"9180_CR17","unstructured":"REACTOME a curated knowledgebase of biological pathways. http:\/\/www.reactome.org"},{"key":"9180_CR98","doi-asserted-by":"crossref","unstructured":"Reddy VN (1994) Modeling biological pathways: a discrete event systems approach. Master\u2019s thesis, The Universisty of Maryland, M.S. 94-4","DOI":"10.1021\/bk-1994-0576.ch014"},{"key":"9180_CR100","unstructured":"Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri net representations in metabolic pathways. In: ISMB93: first international conference on intelligent systems for molecular biology. AAAI Press, pp 328\u2013336"},{"issue":"1","key":"9180_CR99","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"VN Reddy","year":"1996","unstructured":"Reddy VN, Liebman MN, Mavrovouniotis ML (1996) Qualitative analysis of biochemical reaction systems. Comput Biol Med 26(1):9\u201324","journal-title":"Comput Biol Med"},{"key":"9180_CR101","doi-asserted-by":"crossref","unstructured":"Reisig W (1985) Petri nets: an introduction. EACTS monographs on theoretical computer science. Springer-Verlag, Berlin","DOI":"10.1007\/978-3-642-69968-9"},{"key":"9180_CR103","doi-asserted-by":"crossref","unstructured":"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"},{"key":"9180_CR102","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.compbiolchem.2006.09.005","volume":"31","author":"A Sackmann","year":"2007","unstructured":"Sackmann A, Formanowicz D, Formanowicz P, Koch I, Blazewicz J (2007) An analysis of the Petri net based model of the human body iron homeostasis process. Comput Biol Chem 31:1\u201310","journal-title":"Comput Biol Chem"},{"key":"9180_CR104","doi-asserted-by":"crossref","unstructured":"Salwinski L, Miller CS, Smith AJ, Pettit FK, Bowie JU, Eisenberg D (2004) The database of interacting proteins: 2004 update. Nucleic Acids Res 32(Database Issue):D449\u2013D451","DOI":"10.1093\/nar\/gkh086"},{"key":"9180_CR18","unstructured":"SBML: Systems Biology Markup Language. http:\/\/www.sbml.org"},{"key":"9180_CR106","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1021\/bp990048k","volume":"15","author":"CH Schilling","year":"1999","unstructured":"Schilling CH, Schuster S, Palsson BO, Heinrich R (1999) Metabolic pathway analysis: basic concepts and scientific applications in the post-genomic era. Biotechnol Prog 15:296\u2013303","journal-title":"Biotechnol Prog"},{"key":"9180_CR105","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1006\/jtbi.2000.1073","volume":"203","author":"CH Schilling","year":"2000","unstructured":"Schilling CH, Letscherer D, Palsson BO (2000) Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective. J Theor Biol 203:229\u2013248","journal-title":"J Theor Biol"},{"key":"9180_CR107","doi-asserted-by":"crossref","unstructured":"Schroter C, Schwoon S, Esparza J (2003) The model checking kit. In: Proceedings of the 24th international conference on application and theory of Petri nets (ICATPN 03), vol 2697 of LNCS. Springer, Berlin, pp 463\u2013472","DOI":"10.1007\/3-540-44919-1_29"},{"key":"9180_CR110","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1142\/S0218339094000131","volume":"2","author":"S Schuster","year":"1994","unstructured":"Schuster S, Hilgetag C (1994) On elementary flux modes in biochemical reaction systems at steady state. J Biol Syst 2:165\u2013182","journal-title":"J Biol Syst"},{"key":"9180_CR108","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0167-7799(98)01290-6","volume":"17","author":"S Schuster","year":"1999","unstructured":"Schuster S, Dandekar T, Fell DA (1999) Detection of elementary flux modes in biochemical networks: a promising tool for pathway analysis and metabolic engineering. Trends Biotechnol 17:53\u201360","journal-title":"Trends Biotechnol"},{"key":"9180_CR109","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1038\/73786","volume":"18","author":"S Schuster","year":"2000","unstructured":"Schuster S, Fell DA, Dandekar T (2000) A general definition of metabolic pathway useful for systematic organization and analysis of complex metabolic networks. Nat Biotechnol 18:326\u2013332","journal-title":"Nat Biotechnol"},{"issue":"2","key":"9180_CR111","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1093\/bioinformatics\/18.2.351","volume":"18","author":"S Schuster","year":"2002","unstructured":"Schuster S, Pfeiffer T, Moldenhauer F, Koch I, Dandekar T (2002) Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae. Bioinformatics 18(2):351\u2013361","journal-title":"Bioinformatics"},{"key":"9180_CR112","unstructured":"Shaw O, Koelmans A, Steggles J, Wipat A (2004) Applying Petri nets to systems biology using XML technologies. In: Kindler E (ed) Proceedings of the workshop on the definition, implementation and application of a standard interchange format for Petri nets. Satellite event of ATPN, pp 11\u201325"},{"key":"9180_CR113","doi-asserted-by":"crossref","unstructured":"Shaw O, Steggles J, Wipat A (2006) Automatic parameterisation of stochastic Petri net models of biological networks. Electron Notes Theor Comput Sci 151(3):111\u2013129. Proceedings of the second international workshop on the practical application of stochastic modeling (PASM 2005).","DOI":"10.1016\/j.entcs.2006.03.015"},{"issue":"2","key":"9180_CR114","first-page":"ii190","volume":"21","author":"E Sim\u00e3o","year":"2005","unstructured":"Sim\u00e3o E, Remy E, Thieffry D, Chaouiya C (2005) Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli. Syst Biol 21(2):ii190\u2013ii196","journal-title":"Syst Biol"},{"key":"9180_CR19","unstructured":"SNOOPY: a software tool to design and animate hierarchical graphs. http:\/\/www.dssz.informatik.tu-cottbus.de\/index.html?\/software\/snoopy.html"},{"key":"9180_CR115","unstructured":"Starke PH, Roch S (1999) The integrated net analyzer. Humbolt University, Berlin. http:\/\/www.informatik.hu-berlin.de\/starke\/ina.html"},{"key":"9180_CR116","unstructured":"Tovchigrechko A (2006) Model checking using interval decision diagrams. PhD thesis, Department of Computer Science, BTU Cottbus"},{"key":"9180_CR20","unstructured":"TRANSPATH: the pathway database. http:\/\/www.biobase-international.com"},{"key":"9180_CR117","doi-asserted-by":"crossref","unstructured":"Valk R (1978) Self-modifying nets, a natural extension of Petri nets. In: Ausiello G, B\u00f6hm C (eds) Proceedings of ICALP\u201978, vol 62 of LNCS. Springer, Berlin, pp 464\u2013476","DOI":"10.1007\/3-540-08860-1_35"},{"issue":"3","key":"9180_CR118","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0022-0000(81)90067-2","volume":"23","author":"R Valk","year":"1981","unstructured":"Valk R, Vidal-Naquet G (1981) Petri nets and regular languages. J Comput Syst Sci 23(3):299\u2013325","journal-title":"J Comput Syst Sci"},{"key":"9180_CR119","doi-asserted-by":"crossref","first-page":"994","DOI":"10.1038\/nbt1094-994","volume":"12","author":"A Varma","year":"1994","unstructured":"Varma A, Palsson BO (1994) Metabolic flux balancing: basic concepts, scientific and practical use. Bio\/Technology 12:994\u2013998","journal-title":"Bio\/Technology"},{"key":"9180_CR120","volume-title":"Biochemistry","author":"DJ Voet","year":"2004","unstructured":"Voet DJ, Voet JG (2004) Biochemistry. Wiley, New York"},{"key":"9180_CR121","unstructured":"Voss K, Heiner M, Koch I (2003) Steady state analysis of metabolic pathways using Petri nets. In Silico Biol 3(0031):367\u2013387"},{"issue":"1","key":"9180_CR122","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0168-1656(01)00418-7","volume":"94","author":"W Wiekert","year":"2002","unstructured":"Wiekert W (2002) Modelling and simulation: tools for metabolic engineering. J Biotechnol 94(1):37\u201363","journal-title":"J Biotechnol"},{"key":"9180_CR123","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic modelling for systems biology","author":"DJ Wilkinson","year":"2006","unstructured":"Wilkinson DJ (2006) Stochastic modelling for systems biology. Chapman and Hall\/CRC, Boca Raton"},{"key":"9180_CR124","unstructured":"Zevedei-Oancea I, Schuster S (2003) Topological analysis of metabolic networks based on Petri net theory. In Silico Biol 3(0029):323\u2013345"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9180-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9180-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9180-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T20:41:38Z","timestamp":1739911298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9180-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,24]]},"references-count":124,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9180"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9180-6","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,24]]}}}