{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:40:32Z","timestamp":1773330032178,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642311307","type":"print"},{"value":"9783642311314","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31131-4_22","type":"book-chapter","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T18:36:12Z","timestamp":1338921372000},"page":"398-407","source":"Crossref","is-referenced-by-count":136,"title":["Snoopy \u2013 A Unifying Petri Net Tool"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]},{"given":"Mostafa","family":"Herajy","sequence":"additional","affiliation":[]},{"given":"Fei","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Rohr","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Schwarick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"CPN Tools website, http:\/\/cpntools.org\/ (accessed: March 30, 2012)"},{"key":"22_CR2","unstructured":"Gecode website, http:\/\/www.gecode.org\/ (accessed: March 30, 2012)"},{"key":"22_CR3","unstructured":"GreatSPN website, http:\/\/www.di.unito.it\/~greatspn\/index.html (accessed: March 30, 2012)"},{"key":"22_CR4","unstructured":"MC2 website, http:\/\/www.brc.dcs.gla.ac.uk\/software\/mc2 (accessed: March 30, 2012)"},{"key":"22_CR5","unstructured":"OGDF - Open graph drawing framework website, http:\/\/www.ogdf.net\/doku.php\/start (accessed: March 30, 2012)"},{"key":"22_CR6","unstructured":"Wxwidgets website, http:\/\/www.wxwidgets.org (accessed: March 30, 2012)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Bornstein, B.J., Keating, S.M., Jouraku, A., Hucka, M.: LibSBML: an API library for SBML. Bioinformatics 24(6) (2008)","DOI":"10.1093\/bioinformatics\/btn051"},{"key":"22_CR8","unstructured":"Gilbert, D., Heiner, M.: Petri nets for multiscale Systems Biology. Brunel University, Uxbridge\/London (2011), http:\/\/multiscalepn.brunel.ac.uk\/"},{"issue":"25","key":"22_CR9","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","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":"M. Heiner","year":"2011","unstructured":"Heiner, M., Gilbert, D.: How Might Petri Nets Enhance Your Systems Biology Toolkit. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 17\u201337. Springer, Heidelberg (2011)"},{"key":"22_CR11","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.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"22_CR12","series-title":"LNBI","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-04186-0_7","volume-title":"Transactions on Computational Systems Biology XI","author":"M. Heiner","year":"2009","unstructured":"Heiner, M., Lehrack, S., Gilbert, D., Marwan, W.: Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS (LNBI), vol.\u00a05750, pp. 138\u2013163. Springer, Heidelberg (2009)"},{"key":"22_CR13","first-page":"8","volume":"74","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Richter, R., Schwarick, M., Rohr, C.: Snoopy-a tool to design and execute graph-based formalisms. Petri Net Newsletter\u00a074, 8\u201322 (2008)","journal-title":"Petri Net Newsletter"},{"key":"22_CR14","unstructured":"Herajy, M., Heiner, M.: Hybrid representation and simulation of stiff biochemical networks through generalised hybrid Petri nets. Tech. Rep. 02\u201311, BTU Cottbus, Computer Science Institute (2011)"},{"key":"22_CR15","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.: Sundials: Suite of nonlinear and differential\/algebraic equation solvers. ACM Trans. Math. Softw.\u00a031, 363\u2013396 (2005)","journal-title":"ACM Trans. Math. Softw."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Kafura, D., Tatar, D.: Initial experience with a computational thinking course for computer science students. In: Proc. SIGCSE 2011, pp. 251\u2013256. ACM (2011)","DOI":"10.1145\/1953163.1953242"},{"key":"22_CR17","unstructured":"Liu, F.: Colored Petri Nets for Systems Biology. Ph.D. thesis, BTU Cottbus, Computer Science Institute (January 2012)"},{"key":"22_CR18","unstructured":"Liu, F., Heiner, M., Rohr, C.: Manual for Colored Petri Nets in Snoopy. Tech. Rep. 02\u201312, BTU Cottbus, Computer Science Institute (March 2012)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Nagasaki, M., Saito, A., Jeong, E., Li, C., Kojima, K., Ikeda, E., Miyano, S.: Cell Illustrator 4.0: a Comp. Platform for Systems Biology. Silico Biology\u00a010 (2010)","DOI":"10.3233\/ISB-2010-0415"},{"key":"22_CR20","unstructured":"Petre, I.: Introduction to Computational and Systems Biology, Collection of Modelling Reports, \u00c5bo Akademi, Department of IT (2011)"},{"key":"22_CR21","unstructured":"Petri Net Markup Language (PNML): Systems and software engineering \u2013 High-level Petri nets \u2013 Part 2: Transfer format, ISO\/IEC 15909\u20132:2011 (2009)"},{"issue":"7","key":"22_CR22","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\u00a026(7), 974\u2013975 (2010)","journal-title":"Bioinformatics"},{"key":"22_CR23","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 (2011)","DOI":"10.1109\/QEST.2011.19"},{"key":"22_CR24","unstructured":"Wegener, J., Schwarick, M., Heiner, M.: A Plugin System for Charlie. In: Proc. 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"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31131-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:47:00Z","timestamp":1620128820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31131-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311307","9783642311314"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31131-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}