{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:34:08Z","timestamp":1767706448500,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194875"},{"type":"electronic","value":"9783319194882"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_10","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"200-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Charlie \u2013 An Extensible Petri Net Analysis Tool"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]},{"given":"Martin","family":"Schwarick","sequence":"additional","affiliation":[]},{"given":"Jan-Thierry","family":"Wegener","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1016\/j.mbs.2007.07.003","volume":"210","author":"D Angeli","year":"2007","unstructured":"Angeli, D., De Leenheer, P., Sontag, E.: A Petri net approach to the study of persistence in chemical reaction networks. Mathematical biosciences 210(2), 598\u2013618 (2007)","journal-title":"Mathematical biosciences"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Vernadat, F.: Time Petri nets analysis with Tina. In: Proc. QEST 2006, pp. 123\u2013124. IEEE CS Press (2006)","DOI":"10.1002\/9780470611647.ch5"},{"issue":"6","key":"10_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.: JAK\/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Molecular BioSystem 9(6), 1290\u20131307 (2013)","journal-title":"Molecular BioSystem"},{"key":"10_CR4","unstructured":"Bl\u00e4tke, M., Heiner, M., Marwan, W.: Tutorial - Petri Nets in Systems Biology. Otto von Guericke University Magdeburg, Centre for Systems Biology, Tech. rep. (2011)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bl\u00e4tke, M., Heiner, M., Marwan, W.: BioModel Engineering with Petri Nets, chap. 7, pp. 141\u2013193. Elsevier Inc. (2015)","DOI":"10.1016\/B978-0-12-801213-0.00007-1"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Bl\u00e4tke, M., Rohr, C., Heiner, M., Marwan, W.: A Petri Net based Framework for Biomodel Engineering, pp. 317\u2013366. Modeling and Simulation in Science, Engineering and Technology. Springer, Birkh\u00e4user Mathematics (2014)","DOI":"10.1007\/978-3-319-08437-4_6"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-48683-6_41","volume-title":"Computer Aided Verification","author":"P Buchholz","year":"1999","unstructured":"Buchholz, P., Kemper, P.: A toolbox for the analysis of discrete event dynamic systems. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 483\u2013486. Springer, Heidelberg (1999)"},{"key":"10_CR8","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer (2004)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1530873.1530881","volume":"36","author":"NJ Dingle","year":"2009","unstructured":"Dingle, N.J., Knottenbelt, W.J., Suto, T.: PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets. ACM SIGMETRICS Performance Evaluation Review 36(4), 34\u201339 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"10_CR10","unstructured":"Donaldson, R.: Modelling and Analysis of Structure in Cellular Signalling Systems. Ph.D. thesis, University of Glasgow (2012)"},{"key":"10_CR11","unstructured":"Fischer, A.: State-space-based Analysis of time-dependent Petri nets (in German). Diploma thesis, BTU Cottbus, Dep. of CS (2009)"},{"issue":"6","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1016\/j.jbi.2013.07.013","volume":"46","author":"D Formanowicz","year":"2013","unstructured":"Formanowicz, D., Kozak, A., G\u0142owacki, T., Radom, M., Formanowicz, P.: Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets. Journal of biomedical Informatics 46(6), 1030\u20131043 (2013)","journal-title":"Journal of biomedical Informatics"},{"key":"10_CR13","unstructured":"Franzke, A.: Charlie 2.0 - a multi-threaded Petri net analyser. Diploma thesis, BTU Cottbus, Dep. of CS (2009)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"D Gilbert","year":"2006","unstructured":"Gilbert, D., Heiner, M.: From petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181\u2013200. Springer, Heidelberg (2006)"},{"key":"10_CR15","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-0-387-09655-1_15","volume-title":"2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008)","author":"D Gilbert","year":"2008","unstructured":"Gilbert, D., Heiner, M., Rosser, S., Fulton, R., Gu, X., Trybi\u0142o, M.: A case study in model-driven synthetic biology. In: Hinchey, M., Pagnoni, A., Rammig, F.J., Schmeck, H. (eds.) 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008). IFIP, vol. 268, pp. 163\u2013175. Springer, Boston (2008)"},{"key":"10_CR16","unstructured":"Gratie, D., Petre, I.: Quantitative Petri Nets Models for the Heat Shock Response. Tech. Rep. 1068, Turku Centre for Computer Science (2013)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Gu, X., Trybi\u0142o, M., Ramsay, S., Jensen, M., Fulton, R., Rosser, S., Gilbert, D.: Engineering a novel self-powering electrochemical biosensor. Systems and synthetic biology, pp. 1\u201312 (2010)","DOI":"10.1007\/s11693-010-9063-2"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Hardy, S., Iyengar, R.: Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs, pp. 225\u2013251. Springer (2011)","DOI":"10.1007\/978-1-84996-474-6_11"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Heiner, M.: Understanding Network Behaviour by Structured Representations of Transition Invariants - A Petri Net Perspective on Systems and Synthetic Biology, pp. 367\u2013389. Natural Computing Series. Springer (2009)","DOI":"10.1007\/978-3-540-88869-7_19"},{"key":"10_CR20","unstructured":"Heiner, M., Donaldson, R., Gilbert, D.: Petri Nets for Systems Biology, chap. 3, pp. 61\u201397. Jones & Bartlett Learning, LCC (2010)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-31131-4_22","volume-title":"Application and Theory of Petri Nets","author":"M Heiner","year":"2012","unstructured":"Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy \u2013 a unifying petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398\u2013407. Springer, Heidelberg (2012)"},{"key":"10_CR22","unstructured":"Heiner, M., Mahulea, C., Silva, M.: On the Importance of the Deadlock Trap Property for Monotonic Liveness. In: Int. Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of Petri Nets 2010, pp. 39\u201354 (2010)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-38697-8_21","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Heiner","year":"2013","unstructured":"Heiner, M., Rohr, C., Schwarick, M.: MARCIE \u2013 model checking and reachability analysis done efficiently. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 389\u2013399. Springer, Heidelberg (2013)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-642-02424-5_20","volume-title":"Applications and Theory of Petri Nets","author":"M Heiner","year":"2009","unstructured":"Heiner, M., Schwarick, M., Tovchigrechko, A.: DSSZ-MC \u2013 a tool for symbolic analysis of extended petri nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 323\u2013332. Springer, Heidelberg (2009)"},{"issue":"1","key":"10_CR25","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.: Structural analysis to determine the core of hypoxia response network. PLoS ONE 5(1), e8600 (2010)","journal-title":"PLoS ONE"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-319-07734-5_21","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Herajy","year":"2014","unstructured":"Herajy, M., Heiner, M.: A steering server for collaborative simulation of quantitative petri nets. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 374\u2013384. Springer, Heidelberg (2014)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Liu, F., Heiner, M.: Petri Nets for Modeling and Analyzing Biochemical Reaction Networks, chap. 9, pp. 245\u2013272. Springer (2014)","DOI":"10.1007\/978-3-642-41281-3_9"},{"issue":"1","key":"10_CR29","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s00186-007-0178-5","volume":"67","author":"W Marwan","year":"2008","unstructured":"Marwan, W., Wagler, A., Weismantel, R.: A mathematical approach to solve the network reconstruction problem. Mathematical Methods of Operations Research 67(1), 117\u2013132 (2008)","journal-title":"Mathematical Methods of Operations Research"},{"issue":"6","key":"10_CR30","doi-asserted-by":"publisher","first-page":"e96986","DOI":"10.1371\/journal.pone.0096986","volume":"9","author":"G Minervini","year":"2014","unstructured":"Minervini, G., Panizzoni, E., Giollo, M., Masiero, A., Ferrari, C., Tosatto, S.: Design and Analysis of a Petri Net Model of the Von Hippel-Lindau (VHL) Tumor Suppressor Interaction Network. PloS one 9(6), e96986 (2014)","journal-title":"PloS one"},{"key":"10_CR31","unstructured":"Popova-Zeugmann, L., Heiner, M.: Worst-case analysis of concurrent systems with Duration Interval Petri Nets. In: Schnieder, E.; Abel, D. (eds.) Proc. 5. EKA 1997, Braunschweig, May 1997, IfRA 1997), pp. 162\u2013179 (1997)"},{"key":"10_CR32","unstructured":"Rodriguez, E.M.: A Mathematical Model For Cephalostatin 1-Induced Apoptosis In Leukemic Cells. Ph.D. thesis, University of the Philippines, College of Science, Institute of Mathematics (2008)"},{"issue":"7","key":"10_CR33","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.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974\u2013975 (2010)","journal-title":"Bioinformatics"},{"issue":"8","key":"10_CR34","doi-asserted-by":"publisher","first-page":"1965","DOI":"10.1166\/jctn.2009.1252","volume":"6","author":"R del Rosario","year":"2009","unstructured":"del Rosario, R., Mendoza, E., Oesterhelt, D.: Modelling the Bioenergetics of Halobacterium Salinarum with Petri Nets. Journal of Computational and Theoretical Nanoscience 6(8), 1965\u20131976 (2009)","journal-title":"Journal of Computational and Theoretical Nanoscience"},{"key":"10_CR35","unstructured":"Schulz, K.: An Extension of the Snoopy Software to Process and Manage Petri Net Animations (in German). Bachelor thesis, BTU Cottbus, Dep. of CS, November 2008"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Schwarick, M., Rohr, C., Heiner, M.: Marcie - model checking and reachability analysis done efficiently. In: Proc. QEST 2011. pp. 91\u2013100. IEEE CS Press (2011)","DOI":"10.1109\/QEST.2011.19"},{"key":"10_CR37","unstructured":"Schwarick, M.: A Petri net analysis tool (in German). Diploma thesis, BTU Cottbus, Dep. of CS (2006)"},{"key":"10_CR38","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1126\/science.1183372","volume":"327","author":"G Shinar","year":"2010","unstructured":"Shinar, G., Feinberg, M.: Structural Sources of Robustness in Biochemical Reaction Networks. Science 327, 1389\u20131391 (2010)","journal-title":"Science"},{"key":"10_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M Silva","year":"1998","unstructured":"Silva, M., Terue, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place\/transition net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309\u2013373. Springer, Heidelberg (1998)"},{"key":"10_CR40","unstructured":"Starke, P.H., Roch, S.: INA, Integrated Net Analyzer, Version 2.2, Manual. Humboldt University Berlin, Dep. of CS (2003)"},{"key":"10_CR41","unstructured":"Wegener, J., Schwarick, M., Heiner, M.: A Plugin System for Charlie. In: Proc. International Workshop on Concurrency, Specification, and Programming (CS&P 2011), pp. 531\u2013554. Bia\u0142ystok University of Technology (2011)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19488-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T10:07:11Z","timestamp":1676455631000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}