{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:38:40Z","timestamp":1759588720001},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,6,20]],"date-time":"2009-06-20T00:00:00Z","timestamp":1245456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11047-009-9143-y","type":"journal-article","created":{"date-parts":[[2009,6,19]],"date-time":"2009-06-19T12:43:30Z","timestamp":1245415410000},"page":"1045-1075","source":"Crossref","is-referenced-by-count":8,"title":["Stochastic Petri net models of Ca2+ signaling complexes and their analysis"],"prefix":"10.1007","volume":"10","author":[{"given":"Ruth","family":"Lamprecht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory D.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,6,20]]},"reference":[{"key":"9143_CR1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.laa.2004.02.015","volume":"386","author":"A Benoit","year":"2004","unstructured":"Benoit A, Brenner L, Fernandes P, Plateau B (2004) Aggregation of stochastic automata networks with replicas. Linear Algebra Appl 386:111\u2013136","journal-title":"Linear Algebra Appl"},{"issue":"2","key":"9143_CR2","first-page":"291","volume":"499","author":"MJ Berridge","year":"1997","unstructured":"Berridge MJ (1997) Elementary and global aspects of calcium signalling. J Exp Biol 499(2):291\u2013306","journal-title":"J Exp Biol"},{"key":"9143_CR3","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1016\/j.ceca.2006.09.002","volume":"40","author":"MJ Berridge","year":"2006","unstructured":"Berridge MJ (2006) Calcium microdomains: organization and function. Cell Calcium 40:405\u2013412","journal-title":"Cell Calcium"},{"issue":"1","key":"9143_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1146\/annurev.biophys.27.1.59","volume":"27","author":"D Bray","year":"1998","unstructured":"Bray D (1998) Signaling complexes: biophysical constraints on intracellular communication. Annu Rev Biophys Biomol Struct 27(1):59\u201375","journal-title":"Annu Rev Biophys Biomol Struct"},{"issue":"1","key":"9143_CR5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz P (1994) Exact and ordinary lumpability in finite Markov chains. J Appl Probab 31(1):59\u201374","journal-title":"J Appl Probab"},{"key":"9143_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-1-4615-2241-6_13","volume-title":"Computation with Markov chains","author":"P Buchholz","year":"1995","unstructured":"Buchholz P (1995) Equivalence relations for stochastic automata networks. In: Stewart WJ (ed) Computation with Markov chains. Kluwer, Boston, MA, pp 197\u2013216"},{"issue":"1-4","key":"9143_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.peva.2003.07.001","volume":"56","author":"P Buchholz","year":"2004","unstructured":"Buchholz P (2004) Adaptive decomposition and approximation for the analysis of stochastic Petri nets. Perform Eval 56(1\u20134):23\u201352","journal-title":"Perform Eval"},{"issue":"4","key":"9143_CR8","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s00607-004-0074-2","volume":"73","author":"P Buchholz","year":"2004","unstructured":"Buchholz P, Dayar T (2004) Comparison of multilevel methods for Kronecker-based Markovian representations. Computing 73(4):349\u2013371","journal-title":"Computing"},{"issue":"4","key":"9143_CR9","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C (2007) Petri net modelling of biological networks. Brief Bioinform 8(4):210\u2013219","journal-title":"Brief Bioinform"},{"issue":"11","key":"9143_CR10","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola G, Dutheillet C, Franceschinis G, Haddad S (1993) Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans Comput 42(11):1343\u20131360","journal-title":"IEEE Trans Comput"},{"key":"9143_CR11","doi-asserted-by":"crossref","unstructured":"Cho W (2006) Building signaling complexes at the membrane. Science\u2019s STKE 2006(321):pe7","DOI":"10.1126\/stke.3212006pe7"},{"key":"9143_CR12","unstructured":"Ciardo G (1989) Analysis of large stochastic Petri net models. PhD thesis, Duke University"},{"key":"9143_CR13","doi-asserted-by":"crossref","unstructured":"Ciardo G, Miner AS (1999) A data structure for the efficient Kronecker solution of GSPNs. In: Proceedings of the 8th international workshop on Petri nets and performance models. IEEE CS, pp 22\u201331","DOI":"10.1109\/PNPM.1999.796529"},{"issue":"1","key":"9143_CR14","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G Ciardo","year":"1993","unstructured":"Ciardo G, Trivedi KS (1993) A decomposition approach for stochastic reward net models. Perform Eval 18(1):37\u201359","journal-title":"Perform Eval"},{"key":"9143_CR15","doi-asserted-by":"crossref","unstructured":"Ciardo G, Marmorstein RM, Siminiceanu R (2003) Saturation unbound. In: 9th international conference on tools and algorithms for the construction and analysis of systems, vol 2619. Springer, Berlin, pp 379\u2013393","DOI":"10.1007\/3-540-36577-X_27"},{"key":"9143_CR16","doi-asserted-by":"crossref","unstructured":"Colquhoun D, Hawkes AG (1995) A Q-matrix cookbook: how to write only one program to calculate the single-channel and macroscopic predictions for any kinetic mechanism. In: Singel-channel recording, 2nd edn. Plenum Press, New York, pp 589\u2013633","DOI":"10.1007\/978-1-4419-1229-9_20"},{"issue":"10","key":"9143_CR18","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"DD Deavours","year":"2002","unstructured":"Deavours DD, Clark G, Courtney T, Daly D, Derisavi S, Doyle JM, Sanders WH, Webster PG (2002) The M\u00f6bius framework and its implementation. IEEE Trans Softw Eng 28(10):956\u2013969","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"9143_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.ceca.2005.06.007","volume":"38","author":"H DeRemigio","year":"2005","unstructured":"DeRemigio H, Smith GD (2005) The dynamics of stochastic attrition viewed as an absorption time on a terminating Markov chain. Cell Calcium 38(2):73\u201386","journal-title":"Cell Calcium"},{"key":"9143_CR20","first-page":"354","volume":"13","author":"H DeRemigio","year":"2007","unstructured":"DeRemigio H, Kemper P, Lamar MD, Smith GD (2007) Markov chain models of couples intracellular calcium channels: Kronecker structured representations and benchmark stationary distribution calculations. Pac Symp Biocomput 13:354\u2013365","journal-title":"Pac Symp Biocomput"},{"issue":"1","key":"9143_CR21","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1093\/imammb\/dqn004","volume":"25","author":"H DeRemigio","year":"2008","unstructured":"DeRemigio H, Groff JR, Smith GD (2008a) Calcium release site ultrastructure and the dynamics of puffs and sparks. Math Med Biol 25(1):65\u201385","journal-title":"Math Med Biol"},{"issue":"3","key":"9143_CR23","doi-asserted-by":"crossref","first-page":"36,003","DOI":"10.1088\/1478-3975\/5\/3\/036003","volume":"5","author":"H DeRemigio","year":"2008","unstructured":"DeRemigio H, Lamar MD, Kemper P, Smith GD (2008b) Markov chain models of coupled calcium channels: Kronecker representations and iterative solution methods. Phys Biol 5(3):36003","journal-title":"Phys Biol"},{"issue":"6","key":"9143_CR24","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S Derisavi","year":"2003","unstructured":"Derisavi S, Hermanns H, Sanders WH (2003) Optimal state-space lumping in Markov chains. Inf Process Lett 87(6):309\u2013315","journal-title":"Inf Process Lett"},{"key":"9143_CR25","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.laa.2004.01.006","volume":"386","author":"S Derisavi","year":"2004","unstructured":"Derisavi S, Kemper P, Sanders WH (2004) Symbolic state-space exploration and numerical analysis of state-sharing composed models. Linear Algebra Appl 386:137\u2013166","journal-title":"Linear Algebra Appl"},{"key":"9143_CR26","doi-asserted-by":"crossref","unstructured":"Derisavi S, Kemper P, Sanders WH (2005) Lumping matrix diagram representations of Markov models. In: Proceedings of the 2005 international conference on dependable systems and networks. IEEE CS, pp 742\u2013751","DOI":"10.1109\/DSN.2005.59"},{"key":"9143_CR17","doi-asserted-by":"crossref","first-page":"9895","DOI":"10.1073\/pnas.89.20.9895","volume":"89","author":"GW Young De","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 Ca2+ concentration. Proc Natl Acad Sci 89:9895\u20139899","journal-title":"Proc Natl Acad Sci"},{"key":"9143_CR27","doi-asserted-by":"crossref","unstructured":"Donatelli S (1994) Superposed generalized stochastic Petri nets: definition and efficient solution. In: Proceedings of the 15th international conference on application and theory of Petri nets, Lecture Notes in Computer Science, vol 815. Springer, Berlin, pp 258\u2013277","DOI":"10.1007\/3-540-58152-9_15"},{"issue":"18","key":"9143_CR28","doi-asserted-by":"crossref","first-page":"10104","DOI":"10.1073\/pnas.96.18.10104","volume":"96","author":"TA Duke","year":"1999","unstructured":"Duke TA, Bray D (1999) Heightened sensitivity of a lattice of membrane receptors. Proc Natl Acad Sci USA 96(18):10104\u201310108","journal-title":"Proc Natl Acad Sci"},{"issue":"3","key":"9143_CR29","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1006\/jmbi.2001.4610","volume":"308","author":"TA Duke","year":"2001","unstructured":"Duke TA, Nov\u00e8re NL, Bray D (2001) Conformational spread in a ring of proteins: a stochastic approach to allostery. J Mol Biol 308(3):541\u2013553","journal-title":"J Mol Biol"},{"key":"9143_CR30","volume-title":"Principles of discrete event simulation","author":"GS Fishman","year":"1978","unstructured":"Fishman GS (1978) Principles of discrete event simulation. Wiley, New York, NY, USA"},{"issue":"4","key":"9143_CR31","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"BL Fox","year":"1988","unstructured":"Fox BL, Glynn PW (1988) Computing Poisson probabilities. Commun ACM 31(4):440\u2013445","journal-title":"Commun ACM"},{"issue":"25","key":"9143_CR32","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340\u20132361","journal-title":"J Phys Chem"},{"key":"9143_CR33","volume-title":"Signal transduction","author":"BD Gomperts","year":"2002","unstructured":"Gomperts BD, Tatham PE, Kramer IM (2002) Signal transduction. Academic Press, San Diego, CA"},{"issue":"12","key":"9143_CR34","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"PJ Goss","year":"1998","unstructured":"Goss PJ, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95(12):6750\u20136755","journal-title":"Proc Natl Acad Sci USA"},{"issue":"22","key":"9143_CR35","doi-asserted-by":"crossref","first-page":"2782","DOI":"10.1093\/bioinformatics\/btl465","volume":"22","author":"M Griffith","year":"2006","unstructured":"Griffith M, Courtney T, Peccoud J, Sanders WH (2006) Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. Bioinformatics 22(22):2782\u20132789","journal-title":"Bioinformatics"},{"issue":"3","key":"9143_CR36","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1016\/j.jtbi.2008.03.026","volume":"253","author":"JR Groff","year":"2008","unstructured":"Groff JR, Smith GD (2008) Calcium-dependent inactivation and the dynamics of calcium puffs and sparks. J Theor Biol 253(3):483\u2013499","journal-title":"J Theor Biol"},{"key":"9143_CR71","doi-asserted-by":"crossref","unstructured":"Groff JR, DeRemigio H, Smith GD (2009) Markov chain models of ion channels and the collective gating of calcium release sites. In: Stochastic methods in neuroscience. Oxford University Press, Oxford, pp 29\u201364","DOI":"10.1093\/acprof:oso\/9780199235070.003.0002"},{"issue":"2","key":"9143_CR37","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1093\/bioinformatics\/btm560","volume":"24","author":"S Hardy","year":"2007","unstructured":"Hardy S, Robillard PN (2007) Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathway. Bioinformatics 24(2):209\u2013217","journal-title":"Bioinformatics"},{"key":"9143_CR38","doi-asserted-by":"crossref","unstructured":"Heiner M, Koch I (2004) Petri net based model validation in systems biology. In: Proceedings of the 25th international conference on application and theory of Petri nets, Lecture Notes in Computer Science, vol 3099. Springer, Berlin, pp 216\u2013237","DOI":"10.1007\/978-3-540-27793-4_13"},{"key":"9143_CR39","doi-asserted-by":"crossref","unstructured":"Hermanns H (2002) Interactive Markov chains and the quest for quantified quality, Lecture Notes in Computer Science, vol 2428. Springer, Berlin","DOI":"10.1007\/3-540-45804-2"},{"key":"9143_CR40","volume-title":"Free energy transduction in biology: the steady-state kinetic and thermodynamic formalism","author":"TL Hill","year":"1977","unstructured":"Hill TL (1977) Free energy transduction in biology: the steady-state kinetic and thermodynamic formalism. Academic Press, New York"},{"key":"9143_CR41","doi-asserted-by":"crossref","unstructured":"Hillston J (2005) Process algebras for quantitative analysis. In: Logic in computer science. IEEE CS, pp 239\u2013248","DOI":"10.1109\/LICS.2005.35"},{"key":"9143_CR42","unstructured":"Jansen DN, Hermanns H (2004) Dependability checking with StoCharts: is train radio reliable enough for trains? In: Proceedings of the 1st international conference on quantitative evaluation of systems (QEST). IEEE CS, pp 250\u2013259"},{"key":"9143_CR43","volume-title":"Finite Markov chains","author":"JG Kemeney","year":"1960","unstructured":"Kemeney JG, Snell JL (1960) Finite Markov chains. D. Van Nostrand Company, Princeton, NJ"},{"key":"9143_CR44","doi-asserted-by":"crossref","DOI":"10.1002\/3527601864","volume-title":"Biochemistry of signal transduction and regulation","author":"G Krauss","year":"2003","unstructured":"Krauss G (2003) Biochemistry of signal transduction and regulation. Wiley-VCH, Weinheim"},{"key":"9143_CR45","volume-title":"Simulation modeling and analysis","author":"AM Law","year":"2000","unstructured":"Law AM, Kelton WD (2000) Simulation modeling and analysis. McGraw Hill, New York"},{"key":"9143_CR46","doi-asserted-by":"crossref","unstructured":"Lecca P (2006) A time-dependent extension of gillespie algorithm for biochemical stochastic \u03c0-calculus. In: Proceedings of the 2006 ACM symposium on applied computing. ACM, New York, NY, USA, pp 137\u2013144","DOI":"10.1145\/1141277.1141310"},{"issue":"5","key":"9143_CR47","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1085\/jgp.109.5.571","volume":"109","author":"DOD Mak","year":"1997","unstructured":"Mak DOD, Foskett JK (1997) Single-channel kinetics, inactivation, and spatial distribution of inositol trisphosphate (IP3) receptors in Xenopus oocyte nucleus. J Gen Physiol 109(5):571\u2013587","journal-title":"J Gen Physiol"},{"key":"9143_CR48","volume-title":"Modelling with generalized stochastic Petri nets, Wiley Series in parallel computing","author":"MA Marsan","year":"1995","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets, Wiley Series in parallel computing. Wiley Inc, New York"},{"issue":"7-8","key":"9143_CR49","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/j.drudis.2007.02.013","volume":"12","author":"W Materi","year":"2007","unstructured":"Materi W, Wishart DS (2007) Computational systems biology in drug discovery and development: Methods and applications. Drug Discov Today 12(7-8):295\u2013303","journal-title":"Drug Discov Today"},{"issue":"A11","key":"9143_CR50","doi-asserted-by":"crossref","first-page":"3166","DOI":"10.1093\/ietfec\/e89-a.11.3166","volume":"E89","author":"H Matsuno","year":"2006","unstructured":"Matsuno H, Li C, Miyano S (2006) Petri net based descriptions for systematic understanding of biological pathways. IEICE Trans Fundam Electron Commun Comput Sci E89-A(11):3166\u20133174","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"},{"key":"9143_CR51","doi-asserted-by":"crossref","unstructured":"McQuinn MG, Kemper P, Sanders WH (2007) Dependability analysis with Markov chains: how symmetries improve symbolic computations. In: Proceedings of the 4th international conference on quantitative evaluation of systems (QEST). IEEE CS, pp 151\u2013160","DOI":"10.1109\/QEST.2007.43"},{"key":"9143_CR52","doi-asserted-by":"crossref","unstructured":"Miner AS, Parker D (2004) Symbolic representations and analysis of large probabilistic systems. In: Validation of stochastic systems: a guide to current research, Lecture Notes in Computer Science, vol 2925. Springer, Berlin","DOI":"10.1007\/978-3-540-24611-4_9"},{"issue":"3","key":"9143_CR53","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/j.bulm.2004.08.010","volume":"67","author":"V Nguyen","year":"2005","unstructured":"Nguyen V, Mathias R, Smith GD (2005) A stochastic automata network descriptor for Markov chain models of instantaneously coupled intracellular Ca2+ channels. Bull Math Biol 67(3):393\u2013432","journal-title":"Bull Math Biol"},{"key":"9143_CR54","unstructured":"Obal WD II (1998) Measure-adaptive state-space construction methods. PhD thesis, University of Arizona"},{"issue":"4","key":"9143_CR55","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/TR.2007.909761","volume":"56","author":"WD Obal II","year":"2007","unstructured":"Obal WD II, McQuinn MG, Sanders WH (2007) Detecting and exploiting symmetry in discrete-state Markov models. IEEE Trans Reliab 56(4):643\u2013654","journal-title":"IEEE Trans Reliab"},{"issue":"24","key":"9143_CR56","doi-asserted-by":"crossref","first-page":"3412","DOI":"10.1093\/bioinformatics\/btm517","volume":"23","author":"J Peccoud","year":"2007","unstructured":"Peccoud J, Courtney T, Sanders WH (2007) M\u00f6bius: an integrated discrete-event modeling environment. Bioinformatics 23(24):3412\u20133414","journal-title":"Bioinformatics"},{"issue":"6","key":"9143_CR57","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1093\/bioinformatics\/18.6.825","volume":"18","author":"M Peleg","year":"2002","unstructured":"Peleg M, Yeh I, Altman RB (2002) Modelling biological processes using workflow and Petri net models. Bioinformatics 18(6):825\u2013837","journal-title":"Bioinformatics"},{"issue":"2","key":"9143_CR58","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M Peleg","year":"2005","unstructured":"Peleg M, Rubin D, Altman RB (2005) Using Petri net tools to study properties and dynamics of biological systems. J Am Med Inform Assoc 12(2):181\u2013199","journal-title":"J Am Med Inform Assoc"},{"issue":"7","key":"9143_CR59","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C Priami","year":"1995","unstructured":"Priami C (1995) Stochastic \u03c0-calculus. Comput J 38(7):578\u2013589","journal-title":"Comput J"},{"key":"9143_CR60","doi-asserted-by":"crossref","unstructured":"Priese L, Wimmel H (2003) Theoretische Informatik: Petri-Netze (in German). Springer, Berlin","DOI":"10.1007\/978-3-662-10427-9"},{"key":"9143_CR61","unstructured":"Sanders WH, Meyer JF (1991) Reduced base model construction methods for stochastic activity networks. IEEE J Sel Areas Commun, Special issue on Computer-Aided Model Anal Des Netw 9(1):25\u201336"},{"key":"9143_CR62","unstructured":"Sanders WH, Meyer JF (2001) Stochastic activity networks: formal definitions and concepts. In: Lectures on Formal Methods and Performance Analysis, Lecture Notes in Computer Science, vol 2090. Springer, Berlin, pp 315\u2013343"},{"key":"9143_CR63","doi-asserted-by":"crossref","unstructured":"Schaub MA, Henzinger TA, Fisher J (2007) Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst Biol 1(4)","DOI":"10.1186\/1752-0509-1-4"},{"key":"9143_CR64","unstructured":"Schwarick M (2008) Transient analysis of stochastic Petri nets with interval decision diagrams. In: Proceeding of the 15th German workshop on algorithms and tools for Petri nets, AWPN 2008, CEUR-WS.org, CEUR Workshop Proceedings, vol 380, pp 43\u201348"},{"issue":"3","key":"9143_CR65","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/j.pbiomolbio.2004.11.001","volume":"89","author":"J Sneyd","year":"2005","unstructured":"Sneyd J, Falcke M (2005) Models of the inositol trisphosphate receptor. Prog Biophys Mol Biol 89(3):207\u2013245","journal-title":"Prog Biophys Mol Biol"},{"issue":"3","key":"9143_CR66","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 (2002) Stochastic vs. deterministic modeling of intracellular viral kinetics. J Theor Biol 218(3):309\u2013321","journal-title":"J Theor Biol"},{"issue":"3","key":"9143_CR67","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"LJ Steggles","year":"2007","unstructured":"Steggles LJ, Banks R, Shaw O, Wipat A (2007) Qualitatively modelling and analyzing genetic regulatory networks: a Petri net approach. Bioinformatics 23(3):336\u2013343","journal-title":"Bioinformatics"},{"key":"9143_CR68","doi-asserted-by":"crossref","unstructured":"Stewart WJ (1994) Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton","DOI":"10.1515\/9780691223384"},{"issue":"1","key":"9143_CR69","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1111\/j.1469-7793.1998.067bo.x","volume":"509","author":"XP Sun","year":"1998","unstructured":"Sun XP, Callamaras N, Marchant JS, Parker I (1998) A continuum of InsP 3-mediated elementary Ca2+ signalling events in Xenopus oocytes. J Physiol 509(1):67\u201380","journal-title":"J Physiol"},{"issue":"3","key":"9143_CR70","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1113\/jphysiol.1995.sp020538","volume":"482","author":"Y Yao","year":"1995","unstructured":"Yao Y, Choi J, Parker I (1995) Quantal puffs of intracellular Ca2+ evoked by iinositol trisphosphate in Xenopus oocytes. J Physiol 482(3):533\u2013553","journal-title":"J Physiol"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-009-9143-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-009-9143-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-009-9143-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T18:46:32Z","timestamp":1685040392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-009-9143-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,20]]},"references-count":70,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["9143"],"URL":"https:\/\/doi.org\/10.1007\/s11047-009-9143-y","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,20]]}}}