{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T22:18:28Z","timestamp":1767910708289,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642412806","type":"print"},{"value":"9783642412813","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T00:00:00Z","timestamp":1382486400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T00:00:00Z","timestamp":1382486400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-41281-3_9","type":"book-chapter","created":{"date-parts":[[2014,1,17]],"date-time":"2014-01-17T13:52:30Z","timestamp":1389966750000},"page":"245-272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Petri Nets for Modeling and Analyzing Biochemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Fei","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,23]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz A, Sanwal K, Singhal V, Brayton R (2000) Model checking continuous-time Markov chains. ACM Trans Comput Log 1(1):162\u2013170","journal-title":"ACM Trans Comput Log"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/s11047-010-9180-6","volume":"9","author":"P Baldan","year":"2010","unstructured":"Baldan P, Cocco N, Marin A, Simeoni M (2010) Petri nets for modelling metabolic pathways: a survey. Nat Comput 9(4):955\u2013989","journal-title":"Nat Comput"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"1290","DOI":"10.1039\/c3mb25593j","volume":"9","author":"M Bl\u00e4tke","year":"2013","unstructured":"Bl\u00e4tke M, Dittrich A, Rohr C, Heiner M, Schaper F, Marwan W (2013a) JAK\/STAT signalling\u00a0\u2013 an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Mol Biosyst 9:1290\u20131307","journal-title":"Mol Biosyst"},{"key":"9_CR4","unstructured":"Bl\u00e4tke M, Rohr C, Heiner M, Marwan W (2013b, in preparation) A Petri net based framework for biomodel engineering. In: Benner P, Findeisen R, Flockerzi D, Reichl U, Sundmacher K (eds) Large scale networks in engineering and life sciences. Lecture notes of a Summer School held in Magdeburg, 26\u201330 Sept 2011"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.2976\/1.2804749","volume":"2","author":"R Blossey","year":"2008","unstructured":"Blossey R, Cardelli L, Phillips A (2008) Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFSP J 2(1):17\u201328","journal-title":"HFSP J"},{"issue":"5","key":"9_CR6","doi-asserted-by":"publisher","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":"9_CR7","doi-asserted-by":"crossref","unstructured":"Calzone L, Chabrier-Rivier N, Fages F, Soliman S (2006) Machine learning biochemical networks from temporal logic properties. In: Priami C et al (eds) Transactions on computational systems biology. LNCS 4220. Springer, Berlin\/Heidelberg, pp\u00a068\u201394","DOI":"10.1007\/11880646_4"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli L, Wegner P (1985) On understanding types, data abstraction, and polymorphism. Comput Surv 17(4):471\u2013522","journal-title":"Comput Surv"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","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"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ciardo G (1994) Petri nets with marking-dependent arc cardinality. In: Valette R (ed) Properties and analysis, advances in petri nets. LNCS 815. Springer, Berlin\/Heidelberg, pp 179\u2013198","DOI":"10.1007\/3-540-58152-9_11"},{"key":"9_CR11","volume-title":"Model checking","author":"EM Clarke","year":"2001","unstructured":"Clarke EM, Grumberg O, Peled DA (2001) Model checking. MIT, Cambridge"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. In: Proceedings of the 6th international conference on computational methods in systems biology, Rostock. LNCS 5307. Springer, pp 269\u2013287","DOI":"10.1007\/978-3-540-88562-7_20"},{"issue":"6767","key":"9_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"MB Elowitz","year":"2000","unstructured":"Elowitz MB, Leibler S (2000) A synthetic oscillatory network of transcriptional regulators. Nature 403(6767):335\u2013338","journal-title":"Nature"},{"key":"9_CR14","unstructured":"Franzke A (2009) Charlie 2.0 \u2013 a multi-threaded Petri net analyzer. Master\u2019s thesis, Computer Science Department, Brandenburg University of Technology Cottbus"},{"issue":"2","key":"9_CR15","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/TCBB.2012.101","volume":"10","author":"Q Gao","year":"2012","unstructured":"Gao Q, Gilbert D, Heiner M, Liu F, Maccagnola D, Tree D (2012) Multiscale modelling and analysis of planar cell polarity in the Drosophila wing. IEEE\/ACM Trans Comput Biol Bioinform 10(2):337\u2013351","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"9_CR16","unstructured":"Gecode (2013) Gecode: an open constraint solving library. http:\/\/www.gecode.org\/. Accessed on 2 Nov 2013"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Genrich HJ, Lautenbach K (1979) The analysis of distributed systems by means of predicate\/transition-nets. In: Proceedings of the international symposium on semantics of concurrent computation, Evian. LNCS 70. Springer, pp 123\u2013146","DOI":"10.1007\/BFb0022467"},{"key":"9_CR18","volume-title":"Performance analysis of communication systems with non-Markovian stochastic Petri nets","author":"R German","year":"2001","unstructured":"German R (2001) Performance analysis of communication systems with non-Markovian stochastic Petri nets. Wiley, New York"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M (2006) From Petri nets to differential equations \u2013 an integrative approach for biochemical network analysis. In: Proceedings of the 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku. LNCS 4024. Springer, pp 181\u2013200","DOI":"10.1007\/11767589_11"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M, Liu F, Saunders N (2013) Colouring space \u2013 a coloured framework for spatial modelling in systems biology. In: Proceedings of the PETRI NETS 2013, Milan. LNCS 7927. Springer, pp 230\u2013249","DOI":"10.1007\/978-3-642-38697-8_13"},{"issue":"25","key":"9_CR21","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340\u20132361","journal-title":"J Phys Chem"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cosrev.2009.01.002","volume":"3","author":"AP Heath","year":"2009","unstructured":"Heath AP, Kavraki LE (2009) Computational challenges in systems biology. Comput Sci Rev 3(1):1\u201317","journal-title":"Comput Sci Rev"},{"key":"9_CR23","first-page":"367","volume-title":"Understanding network behaviour by structured representations of transition invariants \u2013 a Petri net perspective on systems and synthetic biology","author":"M Heiner","year":"2009","unstructured":"Heiner M (2009) Understanding network behaviour by structured representations of transition invariants \u2013 a Petri net perspective on systems and synthetic biology. Natural computing series. Springer, Berlin\/Heidelberg, pp 367\u2013389"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D (2011) How might Petri nets enhance your systems biology toolkit. In: Proceedings of the PETRI NETS 2011, Newcastle. LNCS 6709. Springer, pp 17\u201337","DOI":"10.1007\/978-3-642-21834-7_2"},{"key":"9_CR25","first-page":"2","volume":"111","author":"M Heiner","year":"2012","unstructured":"Heiner M, Gilbert D (2012) Biomodel engineering for multiscale systems biology. Prog Biophys Mol Biol 111(2\u20133)","journal-title":"Prog Biophys Mol Biol"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Heiner M, Koch I (2004) Petri net based system validation in systems biology. In: Proceedings of the ICATPN 2004, Bologna, June 2004. LNCS 3099. Springer, pp 216\u2013237","DOI":"10.1007\/978-3-540-27793-4_13"},{"issue":"1","key":"9_CR27","doi-asserted-by":"publisher","first-page":"e8600","DOI":"10.1371\/journal.pone.0008600","volume":"5","author":"M Heiner","year":"2010","unstructured":"Heiner M, Sriram K (2010) Structural analysis to determine the core of hypoxia response network. PLoS ONE 5(1):e8600","journal-title":"PLoS ONE"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Proceedings of the 8th international conference on formal methods for computational systems biology (CMSB 2008), Rostock. LNCS 5016. Springer, pp 215\u2013264","DOI":"10.1007\/978-3-540-68894-5_7"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Heiner M, Lehrack S, Gilbert D, Marwan W (2009) Extended stochastic Petri nets for model-based design of wetlab experiments. In: Priami C et al (eds) Transactions on computational systems biology XI. LNBI 5750. Springer, Berlin\/Heidelberg, pp 138\u2013163","DOI":"10.1007\/978-3-642-04186-0_7"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-41281-3_3","volume-title":"Symbolic systems biology: theory and methods","author":"M Heiner","year":"2010","unstructured":"Heiner M, Donaldson R, Gilbert D (2010) Petri nets for systems biology, chapter 3. In: Iyengar MS (ed) Symbolic systems biology: theory and methods. Jones and Bartlett Publishers, LCC, pp 61\u201397"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012) Snoopy \u2013 a unifying Petri net tool. In: Proceedings of the PETRI NETS 2012, Hamburg. LNCS 7347. Springer, pp 398\u2013407","DOI":"10.1007\/978-3-642-31131-4_22"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Heiner M, Rohr C, Schwarick M (2013) MARCIE \u2013 model checking and reachability analysis done efficiently. In: Proceedings of the PETRI NETS 2013, Milan. LNCS 7927. Springer, pp\u00a0389\u2013399","DOI":"10.1007\/978-3-642-38697-8_21"},{"key":"9_CR33","unstructured":"Herajy M (2013) Distributed collaborative and interactive simulation of large scale biochemical networks. PhD thesis, Brandenburg University of Technology Cottbus"},{"issue":"4","key":"9_CR34","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1016\/j.nahs.2012.05.004","volume":"6","author":"M Herajy","year":"2012","unstructured":"Herajy M, Heiner M (2012) Hybrid representation and simulation of stiff biochemical networks. J Nonlinear Anal Hybrid Syst 6(4):942\u2013959","journal-title":"J Nonlinear Anal Hybrid Syst"},{"issue":"3","key":"9_CR35","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"A Hindmarsh","year":"2005","unstructured":"Hindmarsh A, Brown P, Grant K, Lee S, Serban R, Shumaker D, Woodward C (2005) Sundials: suite of nonlinear and differential\/algebraic equation solvers. ACM Trans Math Softw 31(3):363\u2013396","journal-title":"ACM Trans Math Softw"},{"key":"9_CR36","first-page":"113","volume":"16","author":"R Hofest\u00e4dt","year":"1994","unstructured":"Hofest\u00e4dt R (1994) A Petri net application of metabolic processes. J Syst Anal Model Simul 16:113\u2013122","journal-title":"J Syst Anal Model Simul"},{"issue":"3","key":"9_CR37","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen K (1981) Coloured Petri nets and the invariant-method. Theor Comput Sci 14(3): 317\u2013336","journal-title":"Theor Comput Sci"},{"key":"9_CR38","unstructured":"Liu F (2012) Colored Petri nets for systems biology. PhD thesis, Brandenburg University of Technology Cottbus"},{"key":"9_CR39","unstructured":"Liu F, Heiner M, Rohr C (2012) Manual for colored Petri nets in Snoopy. http:\/\/www-dssz.informatik.tu-cottbus.de\/publications\/btu-reports\/Manual_for_colored_Petri_nets_2012_03.pdf"},{"issue":"10","key":"9_CR40","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1021\/ed042p548","volume":"42","author":"EW Lund","year":"1965","unstructured":"Lund EW (1965) Guldberg and Waage and the law of mass action. J Chem Educ 42(10):548","journal-title":"J Chem Educ"},{"key":"9_CR41","volume-title":"Modelling with generalized stochastic Petri nets. Wiley series in parallel computing","author":"MA Marsan","year":"1995","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. Wiley, New York"},{"key":"9_CR42","doi-asserted-by":"publisher","unstructured":"Marwan W, Rohr C, Heiner M (2012) 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, chapter\u00a021. Humana Press, pp 409\u2013437","DOI":"10.1007\/978-3-642-41281-3_21"},{"key":"9_CR43","unstructured":"Matlab (2013) http:\/\/www.mathworks.cn"},{"issue":"4","key":"9_CR44","doi-asserted-by":"publisher","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":"9_CR45","unstructured":"Parker D (2002) Implementation of symbolic model checking for probabilistic systems. PhD thesis, University of Birmingham"},{"key":"9_CR46","unstructured":"Petri CA (1962) Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2, Bonn"},{"issue":"1","key":"9_CR47","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A Pnueli","year":"1981","unstructured":"Pnueli A (1981) The temporal semantics of concurrent programs. Theor Comput Sci 13(1): 45\u201360","journal-title":"Theor Comput Sci"},{"key":"9_CR48","unstructured":"Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri net representations in metabolic pathways. In: Proceedings of the 1st international conference on intelligent systems for molecular biology, Bethesda. AAAI, pp 328\u2013336"},{"issue":"7","key":"9_CR49","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1093\/bioinformatics\/btq050","volume":"26","author":"C Rohr","year":"2010","unstructured":"Rohr C, Marwan W, Heiner M (2010) Snoopy \u2013 a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7):974\u2013975","journal-title":"Bioinformatics"},{"key":"9_CR50","doi-asserted-by":"crossref","unstructured":"Schwarick M, Tovchigrechko A (2010) IDD-based model validation of biochemical networks. Theor Comput Sci 412(26)","DOI":"10.1016\/j.tcs.2010.06.030"},{"key":"9_CR51","doi-asserted-by":"crossref","unstructured":"Schwarick M, Rohr C, Heiner M (2011) MARCIE \u2013 model checking and reachability analysis done efficiently. In: Proceedings of the 8th international conference on quantitative evaluation of systems, Aachen. IEEE, pp 91\u2013100","DOI":"10.1109\/QEST.2011.19"},{"key":"9_CR52","volume-title":"Mathematical models in molecular cellular biology","author":"LA Segel","year":"1980","unstructured":"Segel LA (1980) Mathematical models in molecular cellular biology. Cambridge University Press, Cambridge"},{"issue":"12","key":"9_CR53","doi-asserted-by":"publisher","first-page":"e14284","DOI":"10.1371\/journal.pone.0014284","volume":"5","author":"S Soliman","year":"2010","unstructured":"Soliman S, Heiner M (2010) A unique transformation from ordinary differential equations to reaction networks. PLoS ONE 5(12):e14284","journal-title":"PLoS ONE"},{"key":"9_CR54","volume-title":"Introduction to the numerical solution of Markov chains","author":"W Stewart","year":"1994","unstructured":"Stewart W (1994) Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton"},{"key":"9_CR55","volume-title":"Foundations of constraint satisfaction","author":"EPK Tsang","year":"1993","unstructured":"Tsang EPK (1993) Foundations of constraint satisfaction. Academic, London\/San Diego"},{"key":"9_CR56","unstructured":"Wegener J, Schwarick M, Heiner M (2011) A plugin system for Charlie. In: Proceedings of the international workshop on concurrency, specification, and programming (CS&P 2011), Pu\u0142tusk. Bia\u0142ystok University of Technology, pp 531\u2013554. ISBN:978-83-62582-06-8"}],"container-title":["Approaches in Integrative Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41281-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,25]],"date-time":"2024-01-25T12:46:01Z","timestamp":1706186761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41281-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,23]]},"ISBN":["9783642412806","9783642412813"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41281-3_9","relation":{},"subject":[],"published":{"date-parts":[[2013,10,23]]},"assertion":[{"value":"23 October 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}