{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T13:42:06Z","timestamp":1778679726985,"version":"3.51.4"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030172961","type":"print"},{"value":"9783030172978","type":"electronic"}],"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-030-17297-8_13","type":"book-chapter","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:04:12Z","timestamp":1560243852000},"page":"349-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets"],"prefix":"10.1007","author":[{"given":"Amr","family":"Ismail","sequence":"first","affiliation":[]},{"given":"Mostafa","family":"Herajy","sequence":"additional","affiliation":[]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,12]]},"reference":[{"key":"13_CR1","unstructured":"Ajmone M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. Wiley, New Jersey"},{"issue":"01","key":"13_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1142\/S0218126698000079","volume":"08","author":"H Alla","year":"1998","unstructured":"Alla H, David R (1998) Continuous and hybrid Petri nets. J Circuits Syst Comput 08(01):159\u2013188","journal-title":"J Circuits Syst Comput"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1113\/jphysiol.1997.sp021927","volume":"499","author":"M J Berridge","year":"1997","unstructured":"Berridge MJ (1997) Elementary and global aspects of calcium signalling. J Exp Biol 200(2):315\u2013319","journal-title":"The Journal of Physiology"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1038\/35036035","volume":"1","author":"Michael J. Berridge","year":"2000","unstructured":"Berridge M, Lipp P, Bootman M (2000) The versatility and universality of calcium signalling. Nat Rev Mol Cell Biol 1:11\u201322. \n                    https:\/\/doi.org\/10.1038\/35036035","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Daniel MDO, Sean M, Kevin FJ (1998) Inositol 1,4,5-tris-phosphate activation of inositol tris-phosphate receptor \n                    \n                      \n                    \n                    $$Ca^{2+}$$\n                   channel by ligand tuning of \n                    \n                      \n                    \n                    $$Ca^{2+}$$\n                   inhibition. Proc Natl Acad Sci U S A 95:15821\u201315825","DOI":"10.1073\/pnas.95.26.15821"},{"key":"13_CR6","doi-asserted-by":"publisher","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 (2010) Discrete, continuous, and hybrid Petri nets. Springer, Berlin"},{"issue":"20","key":"13_CR7","doi-asserted-by":"publisher","first-page":"9895","DOI":"10.1073\/pnas.89.20.9895","volume":"89","author":"G. W. De Young","year":"1992","unstructured":"De Young GW, Keizer J (1992) A single-pool inositol 1,4,5-trisphosphate-receptor-based model for agonist-stimulated oscillations in \n                    \n                      \n                    \n                    $$Ca^{2+}$$\n                   concentration. Proc Natl Acad Sci 89(20):9895\u20139899. \n                    https:\/\/doi.org\/10.1073\/pnas.89.20.9895","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"997","DOI":"10.1137\/15M1015030","volume":"14","author":"Ulrich Dobramysl","year":"2016","unstructured":"Dobramysl U, R\u00fcdiger S, Erban R (2016) Particle-based multiscale modeling of calcium puff dynamics. Multiscale Model Simul 14(3):997\u20131016. \n                    https:\/\/doi.org\/10.1137\/15M1015030","journal-title":"Multiscale Modeling & Simulation"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/S0006-3495(03)74831-0","volume":"84","author":"Martin Falcke","year":"2003","unstructured":"Falcke M (2003) On the role of stochastic channel behavior in intracellular \n                    \n                      \n                    \n                    $$Ca^{2+}$$\n                   dynamics. Biophys J 84:42\u201356. \n                    https:\/\/doi.org\/10.1016\/S0006-3495(03)74831-0","journal-title":"Biophysical Journal"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Falcke M (2004) Reading the patterns in living cells - the physics of \n                    \n                      \n                    \n                    $$Ca^{2+}$$\n                   signaling. Adv Phys 53:255\u2013440","DOI":"10.1080\/00018730410001703159"},{"key":"13_CR11","unstructured":"Gnuplot website. Accessed: 14\/10\/2018. \n                    http:\/\/www.gnuplot.info\/"},{"issue":"15","key":"13_CR12","doi-asserted-by":"publisher","first-page":"6959","DOI":"10.1063\/1.1505860","volume":"117","author":"Eric L. Haseltine","year":"2002","unstructured":"Haseltine E, Rawlings J (2002) Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. J Chem Phys 117(15):6959\u20136969. \n                    https:\/\/doi.org\/10.1063\/1.1505860","journal-title":"The Journal of Chemical Physics"},{"key":"13_CR13","first-page":"398","volume-title":"Lecture Notes in Computer Science","author":"Monika Heiner","year":"2012","unstructured":"Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012) Snoopy \u2013 a unifying Petri net tool. In: Haddad S, Pomello L(eds) Proceedings PETRI NETS 2012, LNCS, vol. 7347. Springer, Berlin, pp 398\u2013407"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"e8600","DOI":"10.1371\/journal.pone.0008600","volume":"5","author":"Monika Heiner","year":"2010","unstructured":"Heiner M, Sriram K (2010) Structural analysis to determine the core of hypoxia response network. PLOS ONE 5(1):1\u201317. \n                    https:\/\/doi.org\/10.1371\/journal.pone.0008600","journal-title":"PLoS ONE"},{"issue":"4","key":"13_CR15","first-page":"942","volume":"6","author":"M Herajy","year":"2012","unstructured":"Herajy M, Heiner M (2012) Hybrid representation and simulation of stiff biochemical networks. J Nonlinear Anal: Hybrid Syst 6(4):942\u2013959","journal-title":"J Nonlinear Anal: Hybrid Syst"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-47151-8_2","volume-title":"Hybrid Systems Biology","author":"Mostafa Herajy","year":"2016","unstructured":"Herajy M, Heiner M (2016) Accelerated simulation of hybrid biological models with quasi-disjoint deterministic and stochastic subnets. In: Cinquemani E, Donz\u00e9 A (eds) Hybrid systems biology: 5th international workshop, HSB 2016, Grenoble, France, 20\u201321 October 2016, Proceedings, LNBI. Springer, Berlin, pp 20\u201338. \n                    https:\/\/doi.org\/10.1007\/978-3-319-47151-8_2"},{"issue":"1-2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3233\/FI-2018-1674","volume":"160","author":"Mostafa Herajy","year":"2018","unstructured":"Herajy M, Heiner M (2018) Adaptive and bio-semantics of continuous Petri nets: choosing the appropriate interpretation. Fundamenta Informaticae 160(1\u20132):53\u201380","journal-title":"Fundamenta Informaticae"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.nahs.2017.09.002","volume":"27","author":"Mostafa Herajy","year":"2018","unstructured":"Herajy M, Liu F, Heiner M (2018) Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights. Nonlinear Anal: Hybrid Syst 27:191\u2013212. \n                    https:\/\/doi.org\/10.1016\/j.nahs.2017.09.002","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"13_CR19","unstructured":"Herajy M, Liu F, Rohr C (2014) Coloured hybrid Petri nets for systems biology. In: Proceedings of the 5th international workshop on biological processes and Petri nets (BioPPN), satellite event of PETRI NETS 2014, CEUR workshop proceedings, vol 1159, pp 60\u201376. \n                    http:\/\/CEUR-WS.org"},{"key":"13_CR20","unstructured":"Herajy M, Liu F, Rohr C, Heiner M (2017) (Coloured) Hybrid Petri nets in Snoopy - user manual. Technical report 01\u201317, Brandenburg University of Technology Cottbus, Department of Computer Science. \n                    https:\/\/opus4.kobv.de\/opus4-btu\/files\/4157\/csr_01-17.pdf"},{"key":"13_CR21","doi-asserted-by":"publisher","unstructured":"Herajy M, Liu F, Rohr C, Heiner M (2017) Snoopy\u2019s hybrid simulator: a tool to construct and simulate hybrid biological models. BMC systems biology 11(1):71. \n                    https:\/\/doi.org\/10.1186\/s12918-017-0449-6","DOI":"10.1186\/s12918-017-0449-6"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-40465-8_7","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VIII","author":"Mostafa Herajy","year":"2013","unstructured":"Herajy M, Schwarick M, Heiner M (2013) Hybrid Petri nets for modelling the eukaryotic cell cycle. In: Koutny M, Aalst WMP, Yakovlev A (eds) Transactions on Petri nets and other models of concurrency VIII. Springer, Berlin, pp 123\u2013141"},{"issue":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"Alan C. Hindmarsh","year":"2005","unstructured":"Hindmarsh A, Brown P, Grant K, Lee S, Serban R, Shumaker D, Woodward C (2005) Sundials: Suite of nonlinear and differential\/algebraic equation solvers. ACM Trans Math Softw 31:363\u2013396. \n                    https:\/\/doi.org\/10.1145\/1089014.1089020","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"3","key":"13_CR24","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen K (1981) Coloured Petri nets and the invariant-method. Theor Comput Sci 14(3):317\u2013336","journal-title":"Theor Comput Sci"},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compbiomed.2014.07.004","volume":"53","author":"Fei Liu","year":"2014","unstructured":"Liu F, Bl\u00e4tke M, Heiner M, Yang M (2014) Modelling and simulating reaction diffusion systems using coloured Petri nets. Comput Biol Med 53:297\u2013308. \n                    https:\/\/doi.org\/10.1016\/j.compbiomed.2014.07.004","journal-title":"Computers in Biology and Medicine"},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Liu F, Heiner M, Gilbert D (2017) Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems. Brief Bioinform bbx150. \n                    https:\/\/doi.org\/10.1093\/bib\/bbx150","DOI":"10.1093\/bib\/bbx150"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Liu F, Heiner M, Yang M (2012) An efficient method for unfolding colored Petri nets. In: Proceedings of the Winter Simulation Conference, WSC \u201912. Winter Simulation Conference, pp 295:1\u2013295:12. \n                    http:\/\/dl.acm.org\/citation.cfm?id=2429759.2430157","DOI":"10.1109\/WSC.2012.6465203"},{"issue":"4","key":"13_CR28","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proceedings of the IEEE"},{"issue":"11","key":"13_CR29","doi-asserted-by":"publisher","first-page":"1658","DOI":"10.1016\/j.apnum.2007.10.003","volume":"58","author":"Ch. Nagaiah","year":"2008","unstructured":"Nagaiah C, R\u00fcdiger S, Warnecke G, Falcke M (2008) Adaptive numerical simulation of intracellular calcium dynamics using domain decomposition methods. Appl Numer Math 58(11):1658\u20131674","journal-title":"Applied Numerical Mathematics"},{"issue":"20","key":"13_CR30","doi-asserted-by":"publisher","first-page":"10194","DOI":"10.1016\/j.amc.2012.03.100","volume":"218","author":"Ch. Nagaiah","year":"2012","unstructured":"Nagaiah C, R\u00fcdiger S, Warnecke G, Falcke M (2012) Adaptive space and time numerical simulation of reaction-diffusion models for intracellular calcium dynamics. Appl Math Comput 218(20):10194\u201310210","journal-title":"Applied Mathematics and Computation"},{"issue":"1-3","key":"13_CR31","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.cplett.2007.02.003","volume":"437","author":"Matja\u017e Perc","year":"2007","unstructured":"Perc M, Gosak M, Marhl M (2007) Periodic calcium waves in coupled cells induced by internal noise. Chem Phys Lett 437(1):143\u2013147. \n                    https:\/\/doi.org\/10.1016\/j.cplett.2007.02.003\n                    \n                  . \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0009261407001510","journal-title":"Chemical Physics Letters"},{"issue":"6","key":"13_CR32","doi-asserted-by":"publisher","first-page":"1847","DOI":"10.1529\/biophysj.106.099879","volume":"93","author":"S. R\u00fcdiger","year":"2007","unstructured":"R\u00fcdiger S, Shuai J, Huisinga W, Nagaiah C, Warnecke G, Parker I, Falcke M (2007) Hybrid stochastic and deterministic simulations of calcium blips. BioPhys J 93:1847\u20131857","journal-title":"Biophysical Journal"},{"issue":"12","key":"13_CR33","doi-asserted-by":"publisher","first-page":"e1005236","DOI":"10.1371\/journal.pcbi.1005236","volume":"12","author":"James C. Schaff","year":"2016","unstructured":"Schaff JC, Gao F, Li Y, Novak IL, Slepchenko BM (2016) Numerical approach to spatial deterministic-stochastic models arising in cell biology. PLOS Comput Biol 12(12):1\u201323. \n                    https:\/\/doi.org\/10.1371\/journal.pcbi.1005236","journal-title":"PLOS Computational Biology"},{"issue":"4","key":"13_CR34","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1529\/biophysj.107.108795","volume":"93","author":"Jianwei Shuai","year":"2007","unstructured":"Shuai J, Pearson JE, Foskett JK, Mak DOD, Parker I (2007) A kinetic model of single and clustered IP3 receptors in the absence of \n                    \n                      \n                    \n                    $$ca^{2+}$$\n                   feedback. Biophys J 93(4):1151\u20131162. \n                    https:\/\/doi.org\/10.1529\/biophysj.107.108795","journal-title":"Biophysical Journal"},{"issue":"139","key":"13_CR35","doi-asserted-by":"publisher","first-page":"20170931","DOI":"10.1098\/rsif.2017.0931","volume":"15","author":"Cameron A. Smith","year":"2018","unstructured":"Smith CA, Yates CA (2018) Spatially-extended hybrid methods: a review. J R Soc Interface 15(139):20170931. \n                    https:\/\/doi.org\/10.1098\/rsif.2017.0931","journal-title":"Journal of The Royal Society Interface"}],"container-title":["Computational Biology","Automated Reasoning for Systems Biology and Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17297-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:15:58Z","timestamp":1560244558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17297-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030172961","9783030172978"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17297-8_13","relation":{},"ISSN":["1568-2684","2662-2432"],"issn-type":[{"value":"1568-2684","type":"print"},{"value":"2662-2432","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}