{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:55:02Z","timestamp":1740099302643,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_25","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"205-216","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Petri Nets for BioModel Engineering: A Personal Perspective"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"issue":"6","key":"25_CR1","doi-asserted-by":"publisher","first-page":"1290","DOI":"10.1039\/c3mb25593j","volume":"9","author":"M Bl\u00e4tke","year":"2013","unstructured":"M. Bl\u00e4tke, A. Dittrich, C. Rohr, M. Heiner, F. Schaper, W. Marwan, JAK\/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Mol. BioSyst. 9(6), 1290\u20131307 (2013). \n                  http:\/\/dx.doi.org\/10.1039\/C3MB25593J","journal-title":"Mol. BioSyst."},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/B978-0-12-801213-0.00007-1","volume-title":"Algebraic and Discrete Mathematical Models for Modern Biology, chap. 7","author":"M Bl\u00e4tke","year":"2015","unstructured":"M. Bl\u00e4tke, M. Heiner, W. Marwan, BioModel engineering with Petri nets, in Algebraic and Discrete Mathematical Models for Modern Biology, chap. 7, ed. by R. Robeva (Elsevier, Amsterdam, 2015), pp. 141\u2013193. \n                  http:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780128012130000071"},{"issue":"2","key":"25_CR3","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/TCBB.2012.101","volume":"10","author":"Q Gao","year":"2013","unstructured":"Q. Gao, D. Gilbert, M. Heiner, F. Liu, D. Maccagnola, D. Tree, Multiscale modelling and analysis of planar cell polarity in the Drosophila wing. IEEE\/ACM Trans. Comput. Biol. Bioinform. 10(2), 337\u2013351 (2013). \n                  http:\/\/dl.acm.org\/citation.cfm?id=2516526","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"David Gilbert","year":"2006","unstructured":"D. Gilbert, M. Heiner, From Petri nets to differential equations - an integrative approach for biochemical network analysis, in Proc. ICATPN 2006, ed. by S. Donatelli, P.S. Thiagarajan. Lecture Notes in Computer Science, vol. 4024 (Springer, Berlin, 2006), pp. 181\u2013200. \n                  http:\/\/www.springerlink.com\/content\/l85l6147038t012j\/"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-38697-8_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"David Gilbert","year":"2013","unstructured":"D. Gilbert, M. Heiner, F. Liu, N. Saunders, Colouring space - a coloured framework for spatial modelling in systems biology, in Proceedings of the PETRI NETS 2013, ed. by J. Colom, J. Desel. Lecture Notes in Computer Science, vol. 7927 (Springer, Berlin, 2013), pp. 230\u2013249. \n                  http:\/\/link.springer.com\/chapter\/10.1007%2F978-3-642-38697-8_13"},{"key":"25_CR6","unstructured":"M. Heiner, A Contribution to Deadlock Analysis Based on a Language-guided Programming Methodology (in German). Ph.D. thesis, Technical University Dresden, CS Department, 1980"},{"key":"25_CR7","unstructured":"M. Heiner, Application of Petri nets to metabolic networks (in German) (August 1998). \n                  http:\/\/www-dssz.informatik.tu-cottbus.de\/publications\/slides\/1998_HUB_metabol_pn_dt.sld_2up.pdf"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-21834-7_2","volume-title":"Applications and Theory of Petri Nets","author":"Monika Heiner","year":"2011","unstructured":"M. Heiner, D. Gilbert, How might Petri nets enhance your systems biology toolkit, in Applications and Theory of Petri Nets, ed. by L.M. Kristensen, L. Petrucci. Lecture Notes in Computer Science, vol. 6709 (Springer, Berlin, 2011), pp. 17\u201337. \n                  http:\/\/www.springerlink.com\/content\/t21n70p613h75m64\/"},{"issue":"2\u20133","key":"25_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.pbiomolbio.2012.10.001","volume":"111","author":"M Heiner","year":"2013","unstructured":"M. Heiner, D. Gilbert, Biomodel engineering for multiscale systems biology. Progr. Biophys. Mol. Biol. 111(2\u20133), 119\u2013128 (2013). \n                  http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0079610712001071?v=s5","journal-title":"Progr. Biophys. Mol. Biol."},{"key":"25_CR10","unstructured":"M. Heiner, R. Heinrich, Metabolic Petri Nets (October 2000). \n                  http:\/\/www-dssz.informatik.tu-cottbus.de\/publications\/slides\/2000_dfg-treffen_metabol_pn.sld_2up.pdf"},{"key":"25_CR11","first-page":"398","volume-title":"Lecture Notes in Computer Science","author":"Monika Heiner","year":"2012","unstructured":"M. Heiner, M. Herajy, F. Liu, C. Rohr, M. Schwarick, Snoopy - a unifying Petri net tool, in Application and Theory of Petri Nets Proc. PETRI NETS 2012, ed. by S. Maddad, L. Pomello. Lecture Notes in Computer Science, vol. 7347 (Springer, Berlin, 2012), pp. 398\u2013407. \n                  http:\/\/www.springerlink.com\/content\/l27w488386w03m45\/"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"M. Heiner, C. Rohr, M. Schwarick, MARCIE - Model checking And Reachability analysis done effiCIEntly, in Proc. PETRI NETS 2013, ed. by J. Colom, J. Desel. Lecture Notes in Computer Science, vol. 7927 (Springer, Berlin, 2013), pp. 389\u2013399. \n                  http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-38697-8_21","DOI":"10.1007\/978-3-642-38697-8_21"},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-19488-2_10","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"Monika Heiner","year":"2015","unstructured":"M. Heiner, M. Schwarick, J. Wegener, Charlie - an extensible Petri net analysis tool, in Proc. PETRI NETS 2015, ed. by R. Devillers, A. Valmari. Lecture Notes in Computer Science, vol. 9115 (Springer, Berlin, 2015), pp. 200\u2013211. \n                  http:\/\/link.springer.com\/chapter\/10.1007\/978-3-319-19488-2_10"},{"key":"25_CR14","unstructured":"O. Herzog, Analysing the control structure of parallel programs using Petri nets (in German). Ph.D. thesis, University of Dortmund, CS Department: Report 24\/76, 1976"},{"issue":"2","key":"25_CR15","first-page":"113","volume":"16","author":"R Hofest\u00e4dt","year":"1994","unstructured":"R. Hofest\u00e4dt, A Petri net application to model metabolic processes. J. Syst. Anal. Model. Simul. 16(2), 113\u2013122 (1994). \n                  http:\/\/dl.acm.org\/citation.cfm?id=195799","journal-title":"J. Syst. Anal. Model. Simul."},{"key":"25_CR16","unstructured":"K. Lautenbach, Exact Liveness Conditions of a Petri Net Class (in German). Ph.D. thesis, GMD Report 82, Bonn, 1973"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compbiomed.2014.07.004","volume":"53","author":"F Liu","year":"2014","unstructured":"F. Liu, M. Bl\u00e4tke, M. Heiner, M. Yang, Modelling and simulating reaction-diffusion systems using coloured Petri nets. Comput. Biol. Med. 53, 297\u2013308 (2014). \n                  http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0010482514001693","journal-title":"Comput. Biol. Med."},{"issue":"4","key":"25_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"T. Murata, Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"25_CR19","unstructured":"J. Peterson, Petri Net Theory and the Modeling of Systems (Prentice Hall PTR, Upper Saddle River, 1981)"},{"key":"25_CR20","unstructured":"C.A. Petri, Interpretations of net theory. Tech. Rep. 75-07, GMD, Internal Report, 1976, 2nd improved edition"},{"key":"25_CR21","unstructured":"V. Reddy, M. Mavrovouniotis, M. Liebman, Petri net representations in metabolic pathways, in Proc. of the Int. Conf. on Intelligent Systems for Molecular Biology (ISMB 93) (AAAI, Palo Alto, 1993), pp. 328\u2013336. \n                  http:\/\/www.aaai.org\/Papers\/ISMB\/1993\/ISMB93-038.pdf"},{"key":"25_CR22","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/j.jbi.2016.08.008","volume":"63","author":"J Somekh","year":"2016","unstructured":"J. Somekh, M. Peleg, A. Eran, I. Koren, A. Feiglin, A. Demishtein, R. Shiloh, M. Heiner, S. Kong, Z. Elazar, I. Kohane, A model-driven methodology for exploring complex disease comorbidities applied to autism spectrum disorder and inflammatory bowel disease. Biomed. Inf. 63, 366\u2013378 (2016). \n                  http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1532046416300855","journal-title":"Biomed. Inf."}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:19:23Z","timestamp":1558689563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_25","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}