{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T21:03:20Z","timestamp":1774386200435,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61273226"],"award-info":[{"award-number":["61273226"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1186\/s12918-017-0449-6","type":"journal-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T12:50:02Z","timestamp":1501246202000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Snoopy\u2019s hybrid simulator: a tool to construct and simulate hybrid biological models"],"prefix":"10.1186","volume":"11","author":[{"given":"Mostafa","family":"Herajy","sequence":"first","affiliation":[]},{"given":"Fei","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Rohr","sequence":"additional","affiliation":[]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,28]]},"reference":[{"issue":"1","key":"449_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1093\/bib\/bbn050","volume":"10","author":"J Pahle","year":"2009","unstructured":"Pahle J. Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Brief Bioinform. 2009; 10(1):53. doi: 10.1093\/bib\/bbn050 .","journal-title":"Brief Bioinform"},{"issue":"1","key":"449_CR2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","volume":"58","author":"D Gillespie","year":"2007","unstructured":"Gillespie D. Stochastic simulation of chemical kinetics,. Annu Rev Phys Chem. 2007; 58(1):35\u201355. doi: 10.1146\/annurev.physchem.58.032806.104637 .","journal-title":"Annu Rev Phys Chem"},{"issue":"4","key":"449_CR3","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"DT Gillespie","year":"1976","unstructured":"Gillespie DT. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J Comput Phys. 1976; 22(4):403\u201334. doi: 10.1016\/0021-9991(76)90041-3 .","journal-title":"J Comput Phys"},{"issue":"25","key":"449_CR4","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie D. Exact stochastic simulation of coupled chemical reactions. J Phys Chem. 1977; 81(25):2340\u2013361. doi: 10.1021\/j100540a008 .","journal-title":"J Phys Chem"},{"issue":"22","key":"449_CR5","doi-asserted-by":"crossref","first-page":"224101","DOI":"10.1063\/1.2745299","volume":"126","author":"Y Cao","year":"2007","unstructured":"Cao Y, Gillespie D, Petzold L. Adaptive explicit-implicit tau-leaping method with automatic tau selection. J Chem Phys. 2007; 126(22):224101. doi: 10.1063\/1.2745299 .","journal-title":"J Chem Phys"},{"key":"449_CR6","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1016\/j.jcp.2016.08.034","volume":"326","author":"A Duncan","year":"2016","unstructured":"Duncan A, Erban R, Zygalakis K. Hybrid framework for the simulation of stochastic chemical kinetics. J Comput Phys. 2016; 326:398\u2013419. doi: 10.1016\/j.jcp.2016.08.034 .","journal-title":"J Comput Phys"},{"issue":"16","key":"449_CR7","doi-asserted-by":"crossref","first-page":"6471","DOI":"10.1073\/pnas.0810034106","volume":"106","author":"S Kar","year":"2009","unstructured":"Kar S, Baumann WT, Paul MR, Tyson JJ. Exploring the roles of noise in the eukaryotic cell cycle. Proc Natl Acad Sci U S A. 2009; 106(16):6471\u2013476. doi: 10.1073\/pnas.0810034106 .","journal-title":"Proc Natl Acad Sci U S A"},{"issue":"3","key":"449_CR8","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1006\/jtbi.2002.3078","volume":"218","author":"R Srivastava","year":"2002","unstructured":"Srivastava R, You L, Summers J, Yin J. Stochastic vs. deterministic modeling of intracellular viral kinetics. J theor Biol. 2002; 218(3):309\u201321. doi: 10.1006\/jtbi.2002.3078 .","journal-title":"J theor Biol"},{"issue":"15","key":"449_CR9","doi-asserted-by":"crossref","first-page":"6959","DOI":"10.1063\/1.1505860","volume":"117","author":"E Haseltine","year":"2002","unstructured":"Haseltine E, Rawlings J. Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. J Chem Phys. 2002; 117(15):6959\u2013969. doi: 10.1063\/1.1505860 .","journal-title":"J Chem Phys"},{"key":"449_CR10","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1093\/bioinformatics\/btg409","volume":"20","author":"T Kiehl","year":"2004","unstructured":"Kiehl T, Mattheyses R, Simmons M. Hybrid Simul Cell Behav. Bioinformatics. 2004; 20:316\u201322. doi: 10.1093\/bioinformatics\/btg409 .","journal-title":"Bioinformatics"},{"issue":"4","key":"449_CR11","doi-asserted-by":"crossref","first-page":"942","DOI":"10.1016\/j.nahs.2012.05.004","volume":"6","author":"M Herajy","year":"2012","unstructured":"Herajy M, Heiner M. Hybrid representation and simulation of stiff biochemical networks. J Nonlinear Anal Hybrid Syst. 2012; 6(4):942\u201359. doi: 10.1016\/j.nahs.2012.05.004 .","journal-title":"J Nonlinear Anal Hybrid Syst"},{"key":"449_CR12","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.jcp.2016.04.056","volume":"317","author":"L Marchetti","year":"2016","unstructured":"Marchetti L, Priami C, Thanh VH. HRSSA - efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. J Comput Phys. 2016; 317:301\u201317. doi: 10.1016\/j.jcp.2016.04.056 .","journal-title":"J Comput Phys"},{"key":"449_CR13","volume-title":"Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets","year":"2016","unstructured":"Herajy M, Heiner M. In: Cinquemani E, Donz\u00e9 A, (eds).Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets. Cham: Springer; 2016, pp. 20\u201338. doi: 10.1007\/978-3-319-47151-8_2 ."},{"key":"449_CR14","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3389\/fenvs.2015.00053","volume":"3","author":"M Herajy","year":"2015","unstructured":"Herajy M, Heiner M. Modeling and simulation of multi-scale environmental systems with generalized hybrid Petri nets. Front Environ Sci. 2015; 3:53. doi: 10.3389\/fenvs.2015.00053 .","journal-title":"Front Environ Sci"},{"key":"449_CR15","volume-title":"Proc. of the 5th International Workshop on Biological Processes & Petri Nets (BioPPN), Satellite Event of PETRI NETS 2014. CEUR Workshop Proceedings, vol. 1159.","author":"M Herajy","year":"2014","unstructured":"Herajy M, Liu F, Rohr C. Coloured hybrid Petri nets for systems biology. In: Proc. of the 5th International Workshop on Biological Processes & Petri Nets (BioPPN), Satellite Event of PETRI NETS 2014. CEUR Workshop Proceedings, vol. 1159.Tunisia: CEUR-WS.org: 2014. p. 60\u201376."},{"issue":"24","key":"449_CR16","doi-asserted-by":"crossref","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S Hoops","year":"2006","unstructured":"Hoops S, Sahle S, Gauges R, Lee C, Pahle J, Simus N, Singhal M, Xu L, Mendes P, Kummer U. Copasi\u2014a complex pathway simulator. Bioinformatics. 2006; 22(24):3067\u2013074. doi: 10.1093\/bioinformatics\/btl485 .","journal-title":"Bioinformatics"},{"issue":"2","key":"449_CR17","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1002\/wsbm.165","volume":"4","author":"DC Resasco","year":"2012","unstructured":"Resasco DC, Gao F, Morgan F, Novak IL, Schaff JC, Slepchenko BM. Virtual cell: computational tools for modeling in cell biology. Wiley Interdiscip Rev Syst Biol Med. 2012; 4(2):129\u201340. doi: 10.1002\/wsbm.165 .","journal-title":"Wiley Interdiscip Rev Syst Biol Med"},{"key":"449_CR18","volume-title":"Snoopy \u2013 A Unifying Petri Net Tool","year":"2012","unstructured":"Heiner M, Herajy M, Liu F, Rohr C, Schwarick M. In: Haddad S, Pomello L, (eds).Snoopy \u2013 A Unifying Petri Net Tool. Berlin: Springer; 2012, pp. 398\u2013407. doi: 10.1007\/978-3-642-31131-4_22 ."},{"key":"449_CR19","volume-title":"A Steering Server for Collaborative Simulation of Quantitative Petri Nets","year":"2014","unstructured":"Herajy M, Heiner M. In: Ciardo G, Kindler E, (eds).A Steering Server for Collaborative Simulation of Quantitative Petri Nets. Cham: Springer; 2014, pp. 374\u201384. doi: 10.1007\/978-3-319-07734-5_21 ."},{"issue":"1-2","key":"449_CR20","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/FI-2014-960","volume":"129","author":"M Herajy","year":"2014","unstructured":"Herajy M, Heiner M. Petri net-based collaborative simulation and steering of biochemical reaction networks. Fundamenta Informatica. 2014; 129(1-2):49\u201367. doi: 10.3233\/FI-2014-960 .","journal-title":"Fundamenta Informatica"},{"key":"449_CR21","unstructured":"Herajy M, Liu F, Rohr C, Heiner M. (Coloured) Hybrid Petri Nets in Snoopy - User Manual. Technical Report 01-17.Brandenburg University of Technology Cottbus, Department of Computer Science; 2017. https:\/\/opus4.kobv.de\/opus4-btu\/files\/4157\/csr_01-17.pdf ."},{"key":"449_CR22","volume-title":"Petri Nets for Systems and Synthetic Biology","year":"2008","unstructured":"Heiner M, Gilbert D, Donaldson R. In: Bernardo M, Degano P, Zavattaro G, (eds).Petri Nets for Systems and Synthetic Biology. Berlin, Heidelberg: Springer; 2008, pp. 215\u201364. doi: 10.1007\/978-3-540-68894-5_7 ."},{"key":"449_CR23","volume-title":"Petri Nets for Modeling and Analyzing Biochemical Reaction Networks","year":"2014","unstructured":"Liu F, Heiner M. In: Chen M, Hofest\u00e4dt R, (eds).Petri Nets for Modeling and Analyzing Biochemical Reaction Networks. Berlin, Heidelberg: Springer; 2014, pp. 245\u201372. doi: 10.1007\/978-3-642-41281-3_9 ."},{"key":"449_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R David","year":"2010","unstructured":"David R, Alla H. Discrete, Continuous, and Hybrid Petri Nets. Springer Berlin Heidelberg: Springer; 2010."},{"key":"449_CR25","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings","author":"D Gilbert","year":"2006","unstructured":"Gilbert D, Heiner M. From Petri Nets to Differential Equations \u2013 An Integrative Approach for Biochemical Network Analysis In: Donatelli S, Thiagarajan PS, editors. Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings. Berlin, Heidelberg: Springer: 2006. p. 181\u2013200. doi: 10.1007\/11767589_11 ."},{"issue":"6","key":"449_CR26","doi-asserted-by":"crossref","first-page":"1847","DOI":"10.1529\/biophysj.106.099879","volume":"93","author":"S R\u00fcdiger","year":"2007","unstructured":"R\u00fcdiger S, Shuai JW, Huisinga W, Nagaiah C, Warnecke G, Parker I, Falcke M. Hybrid stochastic and deterministic simulations of calcium blips. Biophys J. 2007; 93(6):1847\u20131857. doi: 10.1529\/biophysj.106.099879 .","journal-title":"Biophys J"},{"issue":"3","key":"449_CR27","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen K. Coloured Petri nets and the invariant-method. Theor Comput Sci. 1981; 14(3):317\u201336. doi: 10.1016\/0304-3975(81)90049-9 .","journal-title":"Theor Comput Sci"},{"key":"449_CR28","unstructured":"Liu F. Colored Petri nets for systems biology. PhD thesis: Brandenburg University of Technology Cottbus; 2012."},{"key":"449_CR29","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VIII. Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle","author":"M Herajy","year":"2013","unstructured":"Herajy M, Schwarick M, Heiner M. Transactions on Petri Nets and Other Models of Concurrency VIII. Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. Berlin: Springer; 2013, pp. 123\u201341. doi: 10.1007\/978-3-642-40465-8_7 ."},{"key":"449_CR30","doi-asserted-by":"crossref","unstructured":"Thanh VH, Zunino R, Priami C. On the rejection-based algorithm for simulation and analysis of large-scale reaction networks. J Chem Phys. 2015; 142(24). doi: 10.1063\/1.4922923 .","DOI":"10.1063\/1.4922923"},{"issue":"1","key":"449_CR31","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1186\/s12918-016-0293-0","volume":"10","author":"K Jonak","year":"2016","unstructured":"Jonak K, Kurpas M, Szoltysek K, Janus P, Abramowicz A, Puszynski K. A novel mathematical model of ATM\/p53\/NF- \u03baB pathways points to the importance of the DDR switch-off mechanisms. BMC Syst Biol. 2016; 10(1):75. doi: 10.1186\/s12918-016-0293-0 .","journal-title":"BMC Syst Biol"},{"key":"449_CR32","doi-asserted-by":"crossref","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. 2005; 31:363\u201396. doi: 10.1145\/1089014.1089020 .","journal-title":"ACM Trans Math Softw"},{"key":"449_CR33","volume-title":"Proceedings of the 2012 Winter Simulation Conference (WSC 2012). 978-1-4673-4781-5\/12","author":"F Liu","year":"2012","unstructured":"Liu F, Heiner M, Yang M. An efficient method for unfolding colored petri nets In: Laroque C, Himmelspach J, Pasupathy R, Rose O, Uhrmacher AM, editors. Proceedings of the 2012 Winter Simulation Conference (WSC 2012). 978-1-4673-4781-5\/12. Berlin: IEEE: 2012. p. 3358\u2013369. doi: 10.1109\/WSC.2012.6465203 ."},{"key":"449_CR34","volume-title":"Constraint propagation - models, techniques, implementation. phdthesis","author":"G Tack","year":"2009","unstructured":"Tack G. Constraint propagation - models, techniques, implementation. phdthesis. Germany: Saarland University; 2009. http:\/\/www.gecode.org\/paper.html?id=Tack:PhD:2009 ."},{"key":"449_CR35","volume-title":"Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings","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, editors. Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Berlin, Heidelberg: Springer: 2013. p. 389\u201399. doi: 10.1007\/978-3-642-38697-8_21 ."},{"key":"449_CR36","volume-title":"Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings","author":"M Heiner","year":"2015","unstructured":"Heiner M, Schwarick M, Wegener JT. Charlie \u2013 An Extensible Petri Net Analysis Tool In: Devillers R, Valmari A, editors. Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Cham: Springer: 2015. p. 200\u201311. doi: 10.1007\/978-3-319-19488-2_10 ."},{"key":"449_CR37","volume-title":"Supporting SBML as a Model Exchange Format in Software Applications","year":"2013","unstructured":"Keating SM, Le Nov\u00e8re N. In: Schneider MV, (ed).Supporting SBML as a Model Exchange Format in Software Applications. Totowa: Humana Press; 2013, pp. 201\u201325. doi: 10.1007\/978-1-62703-450-0_11 ."},{"issue":"6","key":"449_CR38","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1093\/bioinformatics\/btn051","volume":"24","author":"BJ Bornstein","year":"2008","unstructured":"Bornstein BJ, Keating SM, Jouraku A, Hucka M. LibSBML: an API Library for SBML. Bioinformatics. 2008; 24(6):880. doi: 10.1093\/bioinformatics\/btn051 .","journal-title":"Bioinformatics"},{"key":"449_CR39","unstructured":"wxWidgets website. http:\/\/www.wxwidgets.org\/ . Accessed: 8\/3\/2017."},{"key":"449_CR40","unstructured":"Boost website. http:\/\/www.boost.org\/ . Accessed: 8\/3\/2017."},{"issue":"4","key":"449_CR41","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1049\/iet-syb.2012.0017","volume":"7","author":"F Liu","year":"2013","unstructured":"Liu F, Heiner M. Multiscale modelling of coupled Ca 2+ channels using coloured stochastic Petri nets. IET Syst Biol. 2013; 7(4):106\u201313. doi: 10.1049\/iet-syb.2012.0017 .","journal-title":"IET Syst Biol"},{"issue":"2","key":"449_CR42","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/TCBB.2012.101","volume":"10","author":"Q Gao","year":"2013","unstructured":"Gao Q, Gilbert D, Heiner M, Liu F, Maccagnola D, Tree D. Multiscale modelling and analysis of planar cell polarity in the Drosophila wing. IEEE\/ACM Trans Comput Biol Bioinforma. 2013; 10(2):337\u201351. doi: 10.1109\/TCBB.2012.101 .","journal-title":"IEEE\/ACM Trans Comput Biol Bioinforma"},{"issue":"30","key":"449_CR43","doi-asserted-by":"crossref","first-page":"12245","DOI":"10.1073\/pnas.0813088106","volume":"106","author":"XP Zhang","year":"2009","unstructured":"Zhang XP, Liu F, Cheng Z, Wang W. Cell fate decision mediated by p53 pulses. Proc Natl Acad Sci. 2009; 106(30):12245\u201312250. doi: 10.1073\/pnas.0813088106 .","journal-title":"Proc Natl Acad Sci"},{"issue":"4","key":"449_CR44","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1080\/01926230701320337","volume":"35","author":"S Elmore","year":"2007","unstructured":"Elmore S. Apoptosis: A review of programmed cell death. Toxicol Pathol. 2007; 35(4):495\u2013516. doi: 10.1080\/01926230701320337 .","journal-title":"Toxicol Pathol"},{"issue":"4","key":"449_CR45","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1038\/cdd.2012.155","volume":"20","author":"M Kracikova","year":"2013","unstructured":"Kracikova M, Akiri G, George A, Sachidanandam R, Aaronson SA. A threshold mechanism mediates p53 cell fate decision between growth arrest and apoptosis. Cell Death Differ. 2013; 20(4):576\u201388. doi: 10.1038\/cdd.2012.155 .","journal-title":"Cell Death Differ"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-017-0449-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T19:26:27Z","timestamp":1602617187000},"score":1,"resource":{"primary":{"URL":"http:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-017-0449-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,28]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["449"],"URL":"https:\/\/doi.org\/10.1186\/s12918-017-0449-6","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,28]]},"article-number":"71"}}