{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:19:56Z","timestamp":1725743996777},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404641"},{"type":"electronic","value":"9783642404658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40465-8_8","type":"book-chapter","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T00:58:46Z","timestamp":1375664326000},"page":"142-158","source":"Crossref","is-referenced-by-count":5,"title":["Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators"],"prefix":"10.1007","author":[{"given":"Christian","family":"Rohr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 2nd edn. John Wiley and Sons (1995)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Heiner, M., Rohr, C., Schwarick, M., Streif, S.: A comparative study of stochastic analysis techniques. In: Proc. CMSB 2010, pp. 96\u2013106. ACM (2010)","DOI":"10.1145\/1839764.1839776"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"D.T. Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys.\u00a0115(4), 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"issue":"25","key":"8_CR4","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. J. Phys. Chem.\u00a081(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"A 104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem.\u00a0A 104, 1876\u20131889 (2000)","journal-title":"J. Phys. Chem."},{"issue":"22","key":"8_CR6","doi-asserted-by":"publisher","first-page":"224101","DOI":"10.1063\/1.2745299","volume":"126","author":"Y. Cao","year":"2007","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Adaptive explicit-implicit tau-leaping method with automatic tau selection. J. Chem. Phys.\u00a0126(22), 224101 (2007)","journal-title":"J. Chem. Phys."},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.compbiolchem.2005.10.007","volume":"30","author":"J.M. McCollum","year":"2006","unstructured":"McCollum, J.M., Peterson, G.D., Cox, C.D., Simpson, M.L., Samatova, N.F.: The sorting direct method for stochastic simulation of biochemical systems with varying reaction execution behavior. Comput. Biol. Chem.\u00a030(1), 39\u201349 (2006)","journal-title":"Comput. Biol. Chem."},{"issue":"9","key":"8_CR8","doi-asserted-by":"publisher","first-page":"4059","DOI":"10.1063\/1.1778376","volume":"121","author":"Y. Cao","year":"2004","unstructured":"Cao, Y., Li, H., Petzold, L.: Efficient formulation of the stochastic simulation algorithm for chemically reacting systems. J. Chem. Phys.\u00a0121(9), 4059\u20134067 (2004)","journal-title":"J. Chem. Phys."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proceedings of the Workshop on Logics of Programs. LNCS, vol.\u00a0131, pp. 52\u201371. Springer (1981)","DOI":"10.1007\/BFb0025774"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symposium on the Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society Press (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"5","key":"8_CR11","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous-time Markov chains. ACM Trans. on Computational Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Trans. on Computational Logic"},{"key":"8_CR13","unstructured":"Baier, C.: On algorithmic verification methods for probabilistic systems. Habilitation thesis, University of Mannheim (1998)"},{"key":"8_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75140-3_4","volume-title":"Computational Methods in Systems Biology","author":"F. Fages","year":"2007","unstructured":"Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"8_CR15","unstructured":"Donaldson, R., Gilbert, D.: A Monte Carlo model checker for probabilistic LTL with numerical constraints. Technical report, University of Glasgow, Dep. of CS (2008)"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1287\/opre.30.3.556","volume":"30","author":"B.W. Schmeiser","year":"1982","unstructured":"Schmeiser, B.W.: Batch size effects in the analysis of simulation output. Operations Research\u00a030, 556\u2013568 (1982)","journal-title":"Operations Research"},{"key":"8_CR17","first-page":"268","volume-title":"The Computer Performance Modeling Handbook","author":"P.D. Welch","year":"1983","unstructured":"Welch, P.D.: The statistical analysis of simulation results. In: The Computer Performance Modeling Handbook, pp. 268\u2013328. Academic Press, New York (1983)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1287\/opre.23.1.33","volume":"23","author":"M.A. Crane","year":"1975","unstructured":"Crane, M.A., Iglehart, D.L.: Simulating stable stochastic systems III: Regenerative processes and discrete-event simulations. Operations Research\u00a023, 33\u201345 (1975)","journal-title":"Operations Research"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Tafazzoli, A., Wilson, J.R., Lada, E.K., Steiger, N.M.: Skart: A skewness- and autoregression-adjusted batch-means procedure for simulation analysis. In: Winter Simulation Conference, pp. 387\u2013395 (2008)","DOI":"10.1109\/WSC.2008.4736092"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Schwarick, M., Rohr, C., Heiner, M.: MARCIE - Model checking and Reachability analysis done effiCIEntly. In: Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), pp. 91\u2013100. IEEE CS Press (September 2011)","DOI":"10.1109\/QEST.2011.19"},{"key":"8_CR21","unstructured":"Tovchigrechko, A.: Model Checking Using Interval Decision Diagrams. PhD thesis, BTU Cottbus, Dep. of CS (2008)"},{"key":"8_CR22","unstructured":"Franzke, A.: A concept for redesigning Charlie. Technical report, BTU Cottbus, Dep. of CS (2008)"},{"issue":"7","key":"8_CR23","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\u2013a unifying Petri net framework to investigate biomolecular networks. Bioinformatics\u00a026(7), 974\u2013975 (2010)","journal-title":"Bioinformatics"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-36481-1_11","volume-title":"Computational Methods in Systems Biology","author":"K.-H. Cho","year":"2003","unstructured":"Cho, K.-H., Shin, S.-Y., Kim, H.-W., Wolkenhauer, O., McFerran, B., Kolch, W.: Mathematical modeling of the influence of RKIP on the ERK signaling pathway. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 127\u2013141. Springer, Heidelberg (2003)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"D. Gilbert","year":"2006","unstructured":"Gilbert, D., Heiner, M.: From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 181\u2013200. Springer, Heidelberg (2006)"},{"key":"8_CR26","unstructured":"Heiner, M., Donaldson, R., Gilbert, D.: In: Iyengar, M.S. (ed.) Petri Nets for Systems Biology. Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers, Inc. (2010)"},{"key":"8_CR27","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11885191_5","volume-title":"Computational Methods in Systems Biology","author":"M. Calder","year":"2006","unstructured":"Calder, M., Duguid, A., Gilmore, S., Hillston, J.: Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"6036","DOI":"10.1016\/j.tcs.2011.06.013","volume":"412","author":"F. Cordero","year":"2011","unstructured":"Cordero, F., Horvath, A., Manini, D., Napione, L., De Pierro, M., Pavan, S., Picco, A., Veglio, A., Sereno, M., Bussolino, F., Balbo, G.: Simplification of a complex signal transduction model by the application of invariants and flow equivalent server. Theoretical Computer Science\u00a0412, 6036\u20136057 (2011)","journal-title":"Theoretical Computer Science"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-19829-8_10","volume-title":"Formal Methods: Foundations and Applications","author":"H.L.S. Younes","year":"2011","unstructured":"Younes, H.L.S., Clarke, E.M., Zuliani, P.: Statistical verification of probabilistic properties with unbounded until. In: Davies, J. (ed.) SBMF 2010. LNCS, vol.\u00a06527, pp. 144\u2013160. Springer, Heidelberg (2011)"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-10373-5_17","volume-title":"Formal Methods and Software Engineering","author":"S. Basu","year":"2009","unstructured":"Basu, S., Ghosh, A.P., He, R.: Approximate model checking of PCTL involving unbounded path properties. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 326\u2013346. Springer, Heidelberg (2009)"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Forlin, M., Mazza, T., Prandi, D.: Efficient parallel statistical model checking of biochemical networks. In: Proc. PDMC, pp. 47\u201361 (2009)","DOI":"10.4204\/EPTCS.14.4"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: a\u00a0statistical model checker for the hybrid automata stochastic logic. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST 2011), Aachen, Germany, pp. 143\u2013144. IEEE Computer Society Press (September 2011)","DOI":"10.1109\/QEST.2011.24"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-04761-9_11","volume-title":"Automated Technology for Verification and Analysis","author":"D. Rabih El","year":"2009","unstructured":"El Rabih, D., Pekergin, N.: Statistical model checking using perfect simulation. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol.\u00a05799, pp. 120\u2013134. Springer, Heidelberg (2009)"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Koh, C.H., Nagasaki, M., Saito, A., Li, C., Wong, L., Miyano, S.: MIRACH: Efficient Model Checker for Quantitative Biological Pathway Models. Bioinformatics\u00a027 (2011)","DOI":"10.1093\/bioinformatics\/btq727"},{"key":"8_CR35","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., et al.: The Systems Biology Markup Language (SBML): A Medium for Representation and Exchange of Biochemical Network Models. J. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"J. Bioinformatics"},{"key":"8_CR36","unstructured":"Zapreev, I.S.: Model checking Markov chains: techniques and tools. PhD thesis, University of Twente, Enschede (March 2008)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40465-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T10:35:03Z","timestamp":1558002903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40465-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404641","9783642404658"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40465-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}