{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:46:27Z","timestamp":1743036387628,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044199"},{"type":"electronic","value":"9783642044205"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04420-5_2","type":"book-chapter","created":{"date-parts":[[2009,8,27]],"date-time":"2009-08-27T02:17:25Z","timestamp":1251339445000},"page":"3-23","source":"Crossref","is-referenced-by-count":8,"title":["Formalisms for Specifying Markovian Population Models"],"prefix":"10.1007","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Jobstmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Verena","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3038-0","volume-title":"Continuous-time Markov chains: An applications-oriented approach","author":"W. Anderson","year":"1991","unstructured":"Anderson, W.: Continuous-time Markov chains: An applications-oriented approach. Springer, Heidelberg (1991)"},{"issue":"4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S. Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev.\u00a036(4), 4\u20139 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-61604-7_63","volume-title":"CONCUR \u201996: Concurrency Theory","author":"M. Bernardo","year":"1996","unstructured":"Bernardo, M., Gorrieri, R.: Extended Markovian process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 315\u2013330. Springer, Heidelberg (1996)"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1017\/S0021900200107338","volume":"31","author":"P. Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite markov chains. Journal of applied probability\u00a031(1), 59\u201375 (1994)","journal-title":"Journal of applied probability"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1289","DOI":"10.1137\/S1064827503425882","volume":"26","author":"P. Buchholz","year":"2005","unstructured":"Buchholz, P., Dayar, T.: Block SOR preconditioned projection methods for Kronecker structured Markovian representations. SIAM Journal on Scientific Computing\u00a026(4), 1289\u20131313 (2005)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"2_CR7","first-page":"126","volume-title":"Proc. of QEST 2004","author":"P. Buchholz","year":"2004","unstructured":"Buchholz, P., Sanders, W.H.: Approximate computation of transient results for large Markov chains. In: Proc. of QEST 2004, pp. 126\u2013135. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"6","key":"2_CR8","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.peva.2005.06.001","volume":"63","author":"G. Ciardo","year":"2006","unstructured":"Ciardo, G., Jones III, R.L., Miner, A.S., Siminiceanu, R.I.: Logic and stochastic modeling with SMART. Perform. Eval.\u00a063(6), 578\u2013608 (2006)","journal-title":"Perform. Eval."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for modelling and analysis of biological systems. Theoretical Computer Science (to appear, 2009)","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"2_CR10","unstructured":"Clarke, E., Fujita, M., McGeer, P., Yang, J., Zhao, X.: Multi-terminal binary decision diagrams: An ecient data structure for matrix representation. In: Proc. IWLS 1993 (1993)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Deavours, D.D., Sanders, W.H.: \u201cOn-the-fly\u201d solution techniques for stochastic Petri nets and extensions. In: IEEE TSE, pp. 132\u2013141 (1997)","DOI":"10.1109\/PNPM.1997.595544"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of CMSB","author":"F. Didier","year":"2009","unstructured":"Didier, F., Henzinger, T., Mateescu, M., Wolf, V.: Approximation of event probabilities in noisy cellular processes. In: Proc. of CMSB. LNCS, Springer, Heidelberg (to appear, 2009)"},{"issue":"8","key":"2_CR13","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"key":"2_CR14","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Numerical evaluation of stochastic automata networks. In: Proc. of MASCOTS 1995 (1995)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025, 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1038\/35002131","volume":"403","author":"T. Gardner","year":"2000","unstructured":"Gardner, T., Cantor, C., Collins, J.: Construction of a genetic toggle switch in Escherichia coli. Nature\u00a0403, 339\u2013342 (2000)","journal-title":"Nature"},{"key":"2_CR17","volume-title":"Markov Processes","author":"D.T. Gillespie","year":"1992","unstructured":"Gillespie, D.T.: Markov Processes. Academic Press, London (1992)"},{"key":"2_CR18","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: TIPP \u2013 a language for timed processes and performance evaluation. Technical Report Technical Report 4\/92, IMMD VII, University of Erlangen-Nurnberg (1992)"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.: The randomization technique as a modeling tool and solution procedure for transient Markov processes. Operations Research\u00a032(2), 926\u2013944 (1984)","journal-title":"Operations Research"},{"key":"2_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/b97265","volume-title":"Stochastic Petri Nets: Modelling, Stability, Simulation","author":"P.J. Haas","year":"2002","unstructured":"Haas, P.J.: Stochastic Petri Nets: Modelling, Stability, Simulation. Springer, Heidelberg (2002)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. CAV","author":"T. Henzinger","year":"2009","unstructured":"Henzinger, T., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. In: Proc. CAV. LNCS, Springer, Heidelberg (to appear, 2009)"},{"key":"2_CR22","unstructured":"Hermanns, H.: An operator for symmetry representation and exploitation in stochastic process algebras. In: Proc. of PAPM 1997, pp. 55\u201370 (1997)"},{"key":"2_CR23","unstructured":"Hillston, J.: The nature of synchronisation. In: Proc. of PAPM 1994, pp. 51\u201370 (1994)"},{"key":"2_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"issue":"1","key":"2_CR25","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/S0377-2217(97)00028-3","volume":"105","author":"G. Horton","year":"1998","unstructured":"Horton, G., Kulkarni, V.G., Nicol, D.M., Trivedi, K.S.: Fluid stochastic Petri nets: Theory, applications, and solution techniques. European Journal of Operational Research\u00a0105(1), 184\u2013201 (1998)","journal-title":"European Journal of Operational Research"},{"issue":"4","key":"2_CR26","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. BIOINFORMATICS\u00a019(4), 524\u2013531 (2003)","journal-title":"BIOINFORMATICS"},{"key":"2_CR27","first-page":"243","volume-title":"Proc. of QEST 2005","author":"J.-P. Katoen","year":"2005","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: Proc. of QEST 2005, pp. 243\u2013244. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"M. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review\u00a036(4), 40\u201345 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"2_CR29","volume-title":"Simulation Modeling and Analysis","author":"A. Law","year":"2000","unstructured":"Law, A., Kelton, W.: Simulation Modeling and Analysis. McGraw-Hill, New York (2000)"},{"issue":"2","key":"2_CR30","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"M.A. Marsan","year":"1998","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. Sigm. Perform. Eval. Rev.\u00a026(2), 2 (1998)","journal-title":"Sigm. Perform. Eval. Rev."},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","volume":"15","author":"H.H. McAdams","year":"1999","unstructured":"McAdams, H.H., Arkin, A.: It\u2019s a noisy business! Trends in Genetics\u00a015(2), 65\u201369 (1999)","journal-title":"Trends in Genetics"},{"issue":"6973","key":"2_CR32","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1038\/nature02257","volume":"427","author":"J. Paulsson","year":"2004","unstructured":"Paulsson, J.: Summing up the noise in gene networks. Nature\u00a0427(6973), 415\u2013418 (2004)","journal-title":"Nature"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. In: Proc. of the Sigmetrics Conference on Measurement and Modeling of Computer Systems, pp. 147\u2013154 (1985)","DOI":"10.1145\/317795.317819"},{"issue":"7","key":"2_CR34","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"issue":"6912","key":"2_CR35","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1038\/nature01258","volume":"420","author":"C. Rao","year":"2002","unstructured":"Rao, C., Wolf, D., Arkin, A.: Control, exploitation and tolerance of intracellular noise. Nature\u00a0420(6912), 231\u2013237 (2002)","journal-title":"Nature"},{"key":"2_CR36","first-page":"421","volume-title":"Proc. 4th Berkeley Symp. Math. Statist. Prob.","author":"G.E.H. Reuter","year":"1961","unstructured":"Reuter, G.E.H.: Competition processes. In: Proc. 4th Berkeley Symp. Math. Statist. Prob., vol.\u00a02, pp. 421\u2013430. Univ. of California Press, Berkeley (1961)"},{"key":"2_CR37","series-title":"CRM Monograph Series","doi-asserted-by":"crossref","DOI":"10.1090\/crmm\/023","volume-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems","author":"J. Rutten","year":"2004","unstructured":"Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol.\u00a023. American Mathematical Society, Providence (2004)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Sanders, W.H., Ers, Y., Meyer, J.: Reduced base model construction methods for stochastic activity networks. In: Proc. of PNPM 1989, vol.\u00a011, pp. 74\u201384 (1989)","DOI":"10.1109\/PNPM.1989.68541"},{"key":"2_CR39","doi-asserted-by":"publisher","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. Journal of Theoretical Biology\u00a0218, 309\u2013321 (2002)","journal-title":"Journal of Theoretical Biology"},{"key":"2_CR40","doi-asserted-by":"crossref","DOI":"10.1515\/9780691223384","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1995","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1995)"},{"issue":"3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0377-2217(94)00075-N","volume":"86","author":"W.J. Stewart","year":"1995","unstructured":"Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of stochastic automata networks. European Journal of Operational Research\u00a086(3), 503\u2013525 (1995)","journal-title":"European Journal of Operational Research"},{"issue":"20","key":"2_CR42","doi-asserted-by":"publisher","first-page":"12795","DOI":"10.1073\/pnas.162041399","volume":"99","author":"P.S. Swain","year":"2002","unstructured":"Swain, P.S., Elowitz, M.B., Siggia, E.D.: Intrinsic and extrinsic contributions to stochasticity in gene expression. Proc. Natl. Acad. of Sci.\u00a099(20), 12795\u201312800 (2002)","journal-title":"Proc. Natl. Acad. of Sci."},{"issue":"22","key":"2_CR43","doi-asserted-by":"publisher","first-page":"8372","DOI":"10.1073\/pnas.0507818103","volume":"103","author":"T. Tian","year":"2006","unstructured":"Tian, T., Burrage, K.: Stochastic models for regulatory networks of the genetic toggle switch. Proc. Natl. Acad. Sci.\u00a0103(22), 8372\u20138377 (2006)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"2_CR44","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.compbiolchem.2004.05.001","volume":"28","author":"T.E. Turner","year":"2004","unstructured":"Turner, T.E., Schnell, S., Burrage, K.: Stochastic approaches for modelling in vivo reactions. Computational Biology and Chemistry\u00a028, 165\u2013178 (2004)","journal-title":"Computational Biology and Chemistry"},{"key":"2_CR45","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for Systems Biology","author":"D.J. Wilkinson","year":"2006","unstructured":"Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman & Hall, Boca Raton (2006)"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04420-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T21:47:35Z","timestamp":1739310455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04420-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044199","9783642044205"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04420-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}