{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:18:48Z","timestamp":1725567528413},"publisher-location":"London","reference-count":39,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781849964739"},{"type":"electronic","value":"9781849964746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-84996-474-6_4","type":"book-chapter","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T07:58:41Z","timestamp":1287647921000},"page":"59-72","source":"Crossref","is-referenced-by-count":1,"title":["Discrete Modeling"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Sackmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR19","volume-title":"Multivariate analysis methods. An application-oriented introduction","author":"K. Backhaus","year":"2000","unstructured":"Backhaus, K., Erichson, B., Plinke, W., Weiber, R.: Multivariate analysis methods. An application-oriented introduction, 10th edn. Springer, Berlin (2000) (in German)","edition":"10"},{"issue":"6","key":"4_CR32","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1089\/cmb.2008.0177","volume":"16","author":"J. Behre","year":"2009","unstructured":"Behre, J., Schuster, S.: Modelling signal transduction in enzyme cascades with the concept of elementary flux modes. J. Comput. Biol. 16(6), 829\u2013844 (2009)","journal-title":"J. Comput. Biol."},{"issue":"10","key":"4_CR39","doi-asserted-by":"publisher","first-page":"2221","DOI":"10.1016\/j.dam.2008.06.053","volume":"157","author":"J. Blazewicz","year":"2009","unstructured":"Blazewicz, J., Formanowicz, D., Formanowicz, P., Sackmann, A., Sajkowski, M.: Modeling the process of human body iron homeostasis using a variant of timed Petri nets. Discrete Appl. Math. 157(10), 2221\u20132231 (2009)","journal-title":"Discrete Appl. Math."},{"issue":"2","key":"4_CR53","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1101\/gr.1926504","volume":"14","author":"A.P. Burgard","year":"2004","unstructured":"Burgard, A.P., Nikolaev, E.V., Schilling, C.H., Maranas, C.D.: Flux coupling analysis of genome-scale metabolic network reconstructions. Genome Res. 14(2), 301\u2013312 (2004)","journal-title":"Genome Res."},{"issue":"4","key":"4_CR63","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C. Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Brief. Bioinform. 8(4), 210\u2013219 (2007)","journal-title":"Brief. Bioinform."},{"key":"4_CR88","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R. David","year":"2005","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Berlin (2005)"},{"key":"4_CR129","series-title":"LNCS","first-page":"181","volume-title":"Petri Nets and Other Models of Concurrency","author":"D. Gilbert","year":"2006","unstructured":"Gilbert, D., Heiner, M.: From Petri nets to differential equations\u2014an integrative approach for biochemical network analysis. In: Petri Nets and Other Models of Concurrency. LNCS, vol. 4024, pp. 181\u2013200. Springer, Berlin (2006)"},{"key":"4_CR143","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.H., Grunwald, S., Speer, A., Winder, K., Koch, I.: Modularization of biochemical networks based on classification of Petri net t-Invariants. BMC Bioinform. 9, 90 (2008)","journal-title":"BMC Bioinform."},{"issue":"2","key":"4_CR147","doi-asserted-by":"publisher","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.: Petri net modelling of gene regulation of the Duchenne muscular dystrophy. Biosystems 92(2), 189\u2013205 (2008)","journal-title":"Biosystems"},{"key":"4_CR152","series-title":"LCNS","first-page":"216","volume-title":"Applications and Theory of Petri Nets","author":"M. Heiner","year":"2004","unstructured":"Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Applications and Theory of Petri Nets. LCNS, vol. 3099, pp. 216\u2013237. Springer, Berlin (2004)"},{"issue":"1","key":"4_CR153","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.: Model validation of biological pathways using Petri nets\u2014demonstrated for apoptosis. Biosystems 75(1), 15\u201328 (2004)","journal-title":"Biosystems"},{"key":"4_CR194","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.biosystems.2005.04.009","volume":"83","author":"S. Klamt","year":"2006","unstructured":"Klamt, S.: Generalized concept of minimal cut sets in biochemical networks. Biosystems 83, 233\u2013247 (2006)","journal-title":"Biosystems"},{"issue":"2","key":"4_CR196","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1093\/bioinformatics\/btg395","volume":"20","author":"S. Klamt","year":"2004","unstructured":"Klamt, S., Gilles, E.D.: Minimal cut sets in biochemical reaction networks. Bioinformatics 20(2), 226\u2013234 (2004)","journal-title":"Bioinformatics"},{"key":"4_CR207","doi-asserted-by":"crossref","first-page":"604","DOI":"10.4018\/978-1-60566-685-3.ch025","volume-title":"Handbook of Research on Computational Methodologies in Gene Regulatory Networks","author":"I. Koch","year":"2010","unstructured":"Koch, I.: Petri nets and GRN Models. In: Das, S., Caragea, D., Hsu, W.H., Welch, S.M. (eds.): Handbook of Research on Computational Methodologies in Gene Regulatory Networks, pp. 604\u2013637. IGI Global, Hershey\u2013New York (2010). Chapter 25"},{"key":"4_CR208","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1002\/9780470253489.ch7","volume-title":"Biological Network Analysis, Wiley Book Series on Bioinformatics","author":"I. Koch","year":"2008","unstructured":"Koch, I., Heiner, M.: Petri nets. In: Junker, B.H., Schreiber, F. (eds.) Biological Network Analysis, Wiley Book Series on Bioinformatics, pp. 139\u2013180. Wiley, New York (2008). Chapter 7"},{"issue":"7","key":"4_CR211","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1093\/bioinformatics\/bti145","volume":"21","author":"I. Koch","year":"2005","unstructured":"Koch, I., Junker, B.H., Heiner, M.: Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21(7), 1219\u20131226 (2005)","journal-title":"Bioinformatics"},{"key":"4_CR217","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/11875741_20","volume-title":"Computational Life Sciences II","author":"A. Larhlimi","year":"2006","unstructured":"Larhlimi, A., Bockmayr, A.: A new approach to flux coupling analysis of metabolic networks. In: Computational Life Sciences II. LNCS, vol. 4216, pp. 205\u2013215. Springer, Berlin (2006)"},{"key":"4_CR219","unstructured":"Lautenbach, K.: Exact liveness conditions of a Petri net class. GMD Report 82, German National Research Center for Information Technology, Sankt Augustin, Germany (1973) (in German)"},{"key":"4_CR220","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BFb0046839","volume-title":"Petri Nets: Central Models and Their Properties","author":"K. Lautenbach","year":"1987","unstructured":"Lautenbach, K.: Linear algebraic techniques for place\/transition nets. In: Petri Nets: Central Models and Their Properties. LNCS, vol. 254, pp. 142\u2013167. Springer, Berlin (1987)"},{"issue":"4","key":"4_CR271","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"4_CR276","first-page":"19","volume-title":"Algebraic Biology 2005: Proc. of the 1st International Conference on Algebraic Biology\u2014Computer Algebra in Biology","author":"M. Nagasaki","year":"2005","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Petri net based description and modeling of biological pathways. In: Algebraic Biology 2005: Proc. of the 1st International Conference on Algebraic Biology\u2014Computer Algebra in Biology, pp. 19\u201331. Universal Acad. Press, Tokyo (2005)"},{"issue":"8","key":"4_CR291","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.tibtech.2004.06.010","volume":"22","author":"J.A. Papin","year":"2004","unstructured":"Papin, J.A., Stelling, J., Price, N.D., Klamt, S., Schuster, S., Palsson, B.\u00d8.: Comparison of network-based pathway analysis methods. Trends Biotechnol. 22(8), 400\u2013405 (2004)","journal-title":"Trends Biotechnol."},{"issue":"2","key":"4_CR295","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M. Peleg","year":"2005","unstructured":"Peleg, M., Rubin, D., Altman, R.B.: Using Petri net tools to study properties and dynamics of biological systems. J. Am. Med. Inform. Assoc. 12(2), 181\u2013199 (2005)","journal-title":"J. Am. Med. Inform. Assoc."},{"issue":"5","key":"4_CR298","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1049\/ip-syb:20060013","volume":"153","author":"S. P\u00e9r\u00e8s","year":"2006","unstructured":"P\u00e9r\u00e8s, S., Beurton-Aimar, M., Mazat, J.P.: Pathway classification of TCA cycle. IEE Proc. Syst. Biology 153(5), 369\u2013371 (2006)","journal-title":"IEE Proc. Syst. Biology"},{"issue":"3","key":"4_CR302","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1093\/bioinformatics\/15.3.251","volume":"15","author":"T. Pfeiffer","year":"1999","unstructured":"Pfeiffer, T., S\u00e1nchez-Valenebro, I., Nu\u00f1o, J.C., Montero, F., Schuster, S.: METATOOL: for studying metabolic networks. Bioinformatics 15(3), 251\u2013257 (1999)","journal-title":"Bioinformatics"},{"key":"4_CR308","first-page":"149","volume":"67","author":"L. Popova-Zeugmann","year":"2005","unstructured":"Popova-Zeugmann, L., Heiner, M., Koch, I.: Time Petri nets for modelling and analysis of biochemical networks. Fundam. Inform. 67, 149\u2013162 (2005)","journal-title":"Fundam. Inform."},{"issue":"1","key":"4_CR327","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.: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform. 7(1), 482 (2006)","journal-title":"BMC Bioinform."},{"key":"4_CR328","doi-asserted-by":"publisher","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.: An analysis of the Petri net based model of the human body iron homeostasis process. Comput. Biol. Chem. 31, 1\u201310 (2007)","journal-title":"Comput. Biol. Chem."},{"issue":"1","key":"4_CR329","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.biosystems.2008.12.003","volume":"96","author":"A. Sackmann","year":"2009","unstructured":"Sackmann, A., Formanowicz, D., Formanowicz, P., Blazewicz, J.: New insights into the human body iron metabolism analyzed by a Petri net based approach. Biosystems 96(1), 104\u2013113 (2009)","journal-title":"Biosystems"},{"issue":"3","key":"4_CR342","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1006\/jtbi.2000.1073","volume":"203","author":"C.H. Schilling","year":"2000","unstructured":"Schilling, C.H., Letscher, D., Palsson, B.\u00d8.: Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective. J. Theor. Biol. 203(3), 229\u2013248 (2000)","journal-title":"J. Theor. Biol."},{"key":"4_CR348","doi-asserted-by":"crossref","unstructured":"Schuster, S., Hilgetag, C., Schuster, R.: Determining elementary modes of functioning in biochemical reaction networks at steady state. In: Proc. Second Gauss Symposium 1993, pp. 101\u2013114 (1996)","DOI":"10.1007\/978-3-322-85017-1_9"},{"key":"4_CR370","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analysis of Petri Net Models","author":"P.H. Starke","year":"1990","unstructured":"Starke, P.H.: Analysis of Petri Net Models. Teubner-Verlag, Stuttgart (1990) (in German)"},{"issue":"3","key":"4_CR374","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"L.J. Steggles","year":"2007","unstructured":"Steggles, L.J., Banks, R., Shaw, O., Wipat, A.: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23(3), 336\u2013343 (2007)","journal-title":"Bioinformatics"},{"issue":"5","key":"4_CR397","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s00253-008-1770-1","volume":"81","author":"C.T. Trinh","year":"2009","unstructured":"Trinh, C.T., Wlaschin, A., Srienc, F.: Elementary mode analysis: a useful metabolic pathway analysis tool for characterizing cellular metabolism. Appl. Microbiol. Biotechnol. 81(5), 813\u2013826 (2009)","journal-title":"Appl. Microbiol. Biotechnol."},{"key":"4_CR407","first-page":"367","volume":"3","author":"K. Voss","year":"2003","unstructured":"Voss, K., Heiner, M., Koch, I.: Steady state analysis of metabolic pathways using Petri nets. In Silico Biol. 3, 367\u2013387 (2003)","journal-title":"In Silico Biol."},{"key":"4_CR409","volume-title":"Timed Petri nets. Theory and Applications","author":"J. Wang","year":"1998","unstructured":"Wang, J.: Timed Petri nets. Theory and Applications. Kluwer Academic, Dordrecht (1998)"},{"issue":"5","key":"4_CR423","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1007\/s10559-005-0012-0","volume":"40","author":"D.A. Zaitsev","year":"2004","unstructured":"Zaitsev, D.A.: Decomposition of Petri nets. Cybern. Syst. Anal. 40(5), 739\u2013746 (2004)","journal-title":"Cybern. Syst. Anal."},{"issue":"1","key":"4_CR424","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/s10559-006-0044-0","volume":"42","author":"D.A. Zaitsev","year":"2006","unstructured":"Zaitsev, D.A.: Compositional analysis of Petri nets. Cybern. Syst. Anal. 42(1), 126\u2013136 (2006)","journal-title":"Cybern. Syst. Anal."},{"issue":"3","key":"4_CR427","first-page":"323","volume":"3","author":"I. Zevedei-Oancea","year":"2003","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In Silico Biol. 3(3), 323\u2013345 (2003)","journal-title":"In Silico Biol."}],"container-title":["Computational Biology","Modeling in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84996-474-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T19:15:55Z","timestamp":1553195755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84996-474-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781849964739","9781849964746"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-1-84996-474-6_4","relation":{},"ISSN":["1568-2684"],"issn-type":[{"type":"print","value":"1568-2684"}],"subject":[],"published":{"date-parts":[[2011]]}}}