{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:26:47Z","timestamp":1775874407745,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319077338","type":"print"},{"value":"9783319077345","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_19","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T09:57:34Z","timestamp":1404208654000},"page":"354-363","source":"Crossref","is-referenced-by-count":19,"title":["(Stochastic) Model Checking in GreatSPN"],"prefix":"10.1007","author":[{"given":"Elvio Gilberto","family":"Amparore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-642-15784-4_16","volume-title":"Computer Performance Engineering","author":"E.G. Amparore","year":"2010","unstructured":"Amparore, E.G., Donatelli, S.: A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol.\u00a06342, pp. 236\u2013251. Springer, Heidelberg (2010)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-40725-3_16","volume-title":"Computer Performance Engineering","author":"E.G. Amparore","year":"2013","unstructured":"Amparore, E.G., Donatelli, S.: Improving and assessing the efficiency of the MC4CSLTA model checker. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol.\u00a08168, pp. 206\u2013220. Springer, Heidelberg (2013)"},{"issue":"6","key":"19_CR3","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.peva.2013.02.002","volume":"70","author":"E.G. Amparore","year":"2013","unstructured":"Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Performance Evaluation\u00a070(6), 400\u2013422 (2013)","journal-title":"Performance Evaluation"},{"issue":"4","key":"19_CR4","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":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-13675-7_19","volume-title":"Applications and Theory of Petri Nets","author":"J. Babar","year":"2010","unstructured":"Babar, J., Beccuti, M., Donatelli, S., Miner, A.: GreatSPN Enhanced with Decision Diagram Data Structures. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 308\u2013317. Springer, Heidelberg (2010)"},{"key":"19_CR6","first-page":"195","volume-title":"International Conference on Quantitative Evaluation of Systems","author":"J. Babar","year":"2010","unstructured":"Babar, J., Miner, A.: Meddly: Multi-terminal and edge-valued decision diagram library. In: International Conference on Quantitative Evaluation of Systems, pp. 195\u2013196. IEEE Computer Society, Los Alamitos (2010)"},{"key":"19_CR7","first-page":"143","volume-title":"QEST 2011","author":"P. Ballarini","year":"2011","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: a\u00a0statistical model checker for the hybrid automata stochastic logic. In: QEST 2011, pp. 143\u2013144. IEEE Computer Society Press, Aachen (2011)"},{"issue":"11","key":"19_CR8","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. on Comp.\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. on Comp."},{"issue":"6","key":"19_CR9","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":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-45319-9_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Ciardo","year":"2001","unstructured":"Ciardo, G., L\u00fcttgen, G., Siminiceanu, R.: Saturation: An efficient iteration strategy for symbolic state-space generation. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 328\u2013342. Springer, Heidelberg (2001)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, E., Jha, S., Lu, Y., Veith, H.: Tree-like counterexamples in model checking. In: Proceedings of the 17th IEEE Symposium on Logic in Computer Science, pp. 19\u201329 (2002)","DOI":"10.1109\/LICS.2002.1029814"},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. Emerson","year":"1982","unstructured":"Emerson, E., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming\u00a02(3), 241\u2013266 (1982)","journal-title":"Science of Computer Programming"},{"issue":"9","key":"19_CR14","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/32.541434","volume":"22","author":"R. Gaeta","year":"1996","unstructured":"Gaeta, R.: Efficient Discrete-Event Simulation of Colored Petri Nets. IEEE Trans. Softw. Eng.\u00a022(9), 629\u2013639 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"19_CR15","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"J.P. Katoen","year":"2011","unstructured":"Katoen, J.P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. Performance Evaluation\u00a068(2), 90\u2013104 (2011)","journal-title":"Performance Evaluation"},{"key":"19_CR16","volume-title":"Modeling with Generalized Stochastic Petri Nets","author":"M.A. Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. J. Wiley, New York (1995)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Schwarick, M., Heiner, M., Rohr, C.: MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. In: Proceedings of QEST 2011, pp. 91\u2013100 (2011)","DOI":"10.1109\/QEST.2011.19"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07734-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T10:29:33Z","timestamp":1542623373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}