{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:29:54Z","timestamp":1759588194254,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888680"},{"type":"electronic","value":"9783540888697"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-88869-7_19","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T21:41:55Z","timestamp":1250113315000},"page":"367-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Understanding Network Behavior by\u00a0Structured Representations of Transition Invariants"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-86501-4","volume-title":"Stochastic Petri nets","author":"F Bause","year":"2002","unstructured":"Bause F, Kritzinger PS (2002) Stochastic Petri nets. Vieweg, Wiesbaden"},{"issue":"4","key":"19_CR2","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":"19_CR3","unstructured":"Charlie Website (2008) A tool for the analysis of place\/transition nets. BTU Cottbus. http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/charlie\/charlie.html"},{"issue":"3","key":"19_CR4","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S Christensen","year":"2000","unstructured":"Christensen S, Petrucci L (2000) Modular analysis of Petri nets. Comput J 43(3):224\u2013242","journal-title":"Comput J"},{"key":"19_CR5","series-title":"LNCS","first-page":"79","volume-title":"A comparative study of algorithms for computation of minimal P-semiflows","author":"JM Colom","year":"1991","unstructured":"Colom JM, Silva M (1991) Convex geometry and semiflows in P\/T nets. In: A comparative study of algorithms for computation of minimal P-semiflows. LNCS, vol\u00a0483. Springer, Berlin, pp 79\u2013112"},{"key":"19_CR6","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, Berlin"},{"key":"19_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","volume-title":"Unifying Petri nets\u2014advances in Petri nets","author":"J Desel","year":"2001","unstructured":"Desel J, Juh\u00e1s G (2001) What is a Petri net? In: Unifying Petri nets\u2014advances in Petri nets, Tokyo, 2001. LNCS, vol\u00a02128. Springer, Berlin, pp 1\u201325"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1186\/1471-2105-9-90","volume":"9","author":"E Grafahrend-Belau","year":"2008","unstructured":"Grafahrend-Belau E, Schreiber F, Heiner M, Sackmann A, Junker B, 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","journal-title":"BMC Bioinform"},{"key":"19_CR9","series-title":"LNCS","first-page":"181","volume-title":"Proceedings of the ICATPN 2006","author":"D Gilbert","year":"2006","unstructured":"Gilbert D, Heiner M (2006) From Petri nets to differential equations\u2014an integrative approach for biochemical network analysis. In: Proceedings of the ICATPN 2006. LNCS, vol\u00a04024. Springer, Berlin, pp 181\u2013200"},{"key":"19_CR10","series-title":"LNCS\/LNBI","first-page":"200","volume-title":"Proceedings of the CMSB 2007","author":"D Gilbert","year":"2007","unstructured":"Gilbert D, Heiner M, Lehrack S (2007) A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Proceedings of the CMSB 2007. LNCS\/LNBI, vol\u00a04695. Springer, Berlin, pp 200\u2013216"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M, Rosser S, Fulton R, Gu X, Trybi\u0142o M (2008) A case study in model-driven synthetic biology. In: Proceedings of the 2nd IFIP conference on biologically inspired collaborative computing (BICC), IFIP WCC 2008, Milano, pp 163\u2013175","DOI":"10.1007\/978-0-387-09655-1_15"},{"key":"19_CR12","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. In: Iyengar MS (ed) Symbolic systems biology: theory and methods. Jones and Bartlett, Boston (to appear)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H et al. (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. J\u00a0Bioinform 19:524\u2013531","journal-title":"J\u00a0Bioinform"},{"key":"19_CR14","series-title":"LNCS","first-page":"215","volume-title":"Schools on formal methods (SFM)","author":"M Heiner","year":"2008","unstructured":"Heiner M, Gilbert D, Donaldson R (2008) Petri nets in systems and synthetic biology. In: Schools on formal methods (SFM). LNCS, vol\u00a05016. Springer, Berlin, pp 215\u2013264"},{"key":"19_CR15","series-title":"LNCS","first-page":"216","volume-title":"Proceedings of the 25th ICATPN 2004","author":"M Heiner","year":"2004","unstructured":"Heiner M, Koch I (2004) Petri net based model validation in systems biology. In: Proceedings of the 25th ICATPN 2004. LNCS, vol\u00a03099. Springer, Berlin, pp\u00a0216\u2013237"},{"key":"19_CR16","doi-asserted-by":"publisher","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\u2014demonstrated for apoptosis. Biosystems 75:15\u201328","journal-title":"Biosystems"},{"key":"19_CR17","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"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Heiner M, Richter R, Schwarick M (2008) Snoopy\u2014a tool to design and animate\/simulate graph-based formalisms. In: Proceedings of the PNTAP 2008, associated to SIMUTools 2008. ACM digital library","DOI":"10.4108\/ICST.SIMUTOOLS2008.3098"},{"key":"19_CR19","series-title":"Book series on bioinformatics","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1002\/9780470253489.ch7","volume-title":"Biological network analysis","author":"I Koch","year":"2008","unstructured":"Koch I, Heiner M (2008) Petri nets. In: Junker BH, Schreiber F (eds) Biological network analysis. Book series on bioinformatics. Wiley, New York, pp 139\u2013179"},{"issue":"7","key":"19_CR20","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1093\/bioinformatics\/bti145","volume":"21","author":"I Koch","year":"2005","unstructured":"Koch I, Junker BH, Heiner M (2005) Application of Petri net theory for modeling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21(7):1219\u20131226","journal-title":"Bioinformatics"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"3042","DOI":"10.1091\/mbc.E03-12-0897","volume":"15","author":"KW Kohn","year":"2004","unstructured":"Kohn KW, Riss J, Aprelikova O, Weinstein JN, Pommier Y, Barrett JC (2004) Properties of switch-like bioregulatory networks studied by simulation of the hypoxia response control system. Mol Cell Biol 15:3042\u20133052","journal-title":"Mol Cell Biol"},{"key":"19_CR22","unstructured":"Lautenbach K (1973) Exact liveness conditions of a Petri net class. GMD Report 82, Bonn (in German)"},{"key":"19_CR23","unstructured":"Larhlimi A, Bockmayr A (2005) Minimal metabolic behaviors and the reversible metabolic space. Preprint No\u00a0299, FU Berlin, DFG-Research Center Matheon"},{"key":"19_CR24","series-title":"LNCS\/LNBI","first-page":"308","volume-title":"Proceedings of the CMSB 2008","author":"A Larhlimi","year":"2008","unstructured":"Larhlimi A, Bockmayr A (2008) On inner and outer descriptions of the steady-state flux cone of a metabolic network. In: Proceedings of the CMSB 2008. LNCS\/LNBI, vol 5307. Springer, Berlin, pp 308\u2013327"},{"key":"19_CR25","first-page":"563","volume":"9","author":"P Mendes","year":"1993","unstructured":"Mendes P (1993) GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems. Comput Appl Biosci 9:563\u2013571","journal-title":"Comput Appl Biosci"},{"issue":"11","key":"19_CR26","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. IEICE Trans Fundam Electron Commun Comput Sci E89-A(11):3166\u20133174","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"},{"key":"19_CR27","unstructured":"Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S (2003) Biopathways representation and simulation on hybrid functional Petri net. In: Silico Biol 3(0032)"},{"key":"19_CR28","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"4","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 77"},{"key":"19_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-75630-6","volume-title":"Project engineering: computer-oriented planning and operational decision making","author":"A Pagnoni","year":"1990","unstructured":"Pagnoni A (1990) Project engineering: computer-oriented planning and operational decision making. Springer, Berlin"},{"key":"19_CR30","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511790515","volume-title":"Systems biology: properties of reconstructed networks","author":"BO Palsson","year":"2006","unstructured":"Palsson BO (2006) Systems biology: properties of reconstructed networks. Cambridge University Press, Cambridge"},{"key":"19_CR31","unstructured":"Pascoletti KH (1986) Diophantine systems and solution methods to determine all Petri nets invariants. GMD Report 160, Bonn (in German)"},{"key":"19_CR32","series-title":"LNCS\/LNBI","first-page":"288","volume-title":"Proceedings of the CMSB 2008","author":"M Pedersen","year":"2008","unstructured":"Pedersen M (2008) Compositional definitions of minimal flows in Petri nets. In: Proceedings of the CMSB 2008. LNCS\/LNBI, vol 5307. Springer, Berlin, pp 288\u2013307"},{"key":"19_CR33","unstructured":"Petri CA (1962) Communication with Automata (in German). Schriften des Instituts f\u00fcr Instrumentelle Mathematik, Bonn"},{"key":"19_CR34","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice\u2013Hall, New York"},{"issue":"12","key":"19_CR35","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.tibs.2004.10.001","volume":"29","author":"JA Papin","year":"2004","unstructured":"Papin JA, Reed JL, Palsson PO (2004) Hierarchical thinking in network biology: the unbiased modularization of biochemical networks. Trends Biochem Sci 29(12):641\u2013647","journal-title":"Trends Biochem Sci"},{"key":"19_CR36","volume-title":"Theoretical informatics\u2014Petri nets","author":"L Priese","year":"2003","unstructured":"Priese L, Wimmel H (2003) Theoretical informatics\u2014Petri nets. Springer, Berlin (in German)"},{"key":"19_CR37","first-page":"149","volume":"67","author":"L Popova-Zeugmann","year":"2005","unstructured":"Popova-Zeugmann L, Heiner M, Koch I (2005) Time Petri nets for modelling and analysis of biochemical networks. Fundam Inform 67:149\u2013162","journal-title":"Fundam Inform"},{"key":"19_CR38","doi-asserted-by":"crossref","unstructured":"Reddy VN (1994) Modeling biological pathways: a discrete event systems approach. Master thesis, University of Maryland","DOI":"10.1021\/bk-1994-0576.ch014"},{"key":"19_CR39","volume-title":"Petri nets; an introduction","author":"W Reisig","year":"1982","unstructured":"Reisig W (1982) Petri nets; an introduction. Springer, Berlin"},{"key":"19_CR40","unstructured":"Reddy VN, Mavrovouniotis ML, Liebman ML (1993) Petri net representations in metabolic pathways. In Proceedings of the international conference on intelligent systems for molecular biology"},{"key":"19_CR41","unstructured":"Sackmann A (2005) Modelling and simulation of signal transduction pathways in saccharomyces cerevisiae using Petri net theory. Diploma thesis, Ernst Moritz Arndt Univ Greifswald (in German)"},{"key":"19_CR42","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A Sackmann","year":"2006","unstructured":"Sackmann A, Heiner M, Koch I (2006) Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform 7:482","journal-title":"BMC Bioinform"},{"key":"19_CR43","doi-asserted-by":"crossref","unstructured":"Schuster S, Hilgetag C, Schuster R (1993) Determining elementary modes of functioning in biochemical reaction networks at steady state. In Proceedings of the second Gauss symposium, pp 101\u2013114","DOI":"10.1007\/978-3-322-85017-1_9"},{"key":"19_CR44","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1006\/jtbi.2000.1073","volume":"203","author":"CH Schilling","year":"2000","unstructured":"Schilling CH, Letscher D, Palsson BO (2000) Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective. Theor Biol 203:229\u2013248","journal-title":"Theor Biol"},{"key":"19_CR45","unstructured":"Snoopy website (2008) A tool to design and animate\/simulate graphs. BTU Cottbus. http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/snoopy.html"},{"issue":"2","key":"19_CR46","doi-asserted-by":"publisher","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":"19_CR47","volume-title":"Petri nets: foundations, applications, theory","author":"PH Starke","year":"1980","unstructured":"Starke PH (1980) Petri nets: foundations, applications, theory. VEB Deutscher Verlag der Wissenschaften, Berlin (in German)"},{"key":"19_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analysis of Petri net models","author":"PH Starke","year":"1990","unstructured":"Starke PH (1990) Analysis of Petri net models. Teubner, Stuttgart (in German)"},{"issue":"1","key":"19_CR49","first-page":"137","volume":"14","author":"JM Toudic","year":"1982","unstructured":"Toudic JM (1982) Linear algebra algorithms for the structural analysis of Petri nets. Rev Tech Thomson CSF (France) 14(1):137\u2013156 (in French)","journal-title":"Rev Tech Thomson CSF (France)"},{"key":"19_CR50","unstructured":"Winder K (2006) Invariant-based structural characterization of Petri nets. Diploma thesis. BTU Cottbus, Dep of CS (in German)"},{"issue":"3","key":"19_CR51","first-page":"1657","volume":"8","author":"Y Yu","year":"2007","unstructured":"Yu Y, Wang G, Simha R, Peng W, Turano F, Zeng C (2007) Pathway switching explains the sharp response characteristic of hypoxia response network system. PLos Comput Biol 8(3):1657\u20131668","journal-title":"PLos Comput Biol"},{"key":"19_CR52","unstructured":"Zaitsev DA (2005) Functional Petri nets. TR 224, CNRS"}],"container-title":["Natural Computing Series","Algorithmic Bioprocesses"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88869-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T20:52:25Z","timestamp":1674852745000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88869-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540888680","9783540888697"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88869-7_19","relation":{},"ISSN":["1619-7127"],"issn-type":[{"type":"print","value":"1619-7127"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"13 August 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}