{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:27:51Z","timestamp":1759134471770},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030302801"},{"type":"electronic","value":"9783030302818"}],"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-30281-8_21","type":"book-chapter","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T23:03:14Z","timestamp":1567551794000},"page":"355-360","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Elvio Gilberto","family":"Amparore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Buchholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,4]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Sys. 2, 93\u2013122 (1984)","journal-title":"ACM Trans. Comput. Sys."},{"key":"21_CR2","doi-asserted-by":"publisher","unstructured":"Amparore, E.G., Donatelli, S.: DSPN-tool: a new DSPN and GSPN solver for GreatSPN. In: Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems, QEST 2010, Washington, DC, USA, pp. 79\u201380. IEEE Computer Society (2010). ISBN: 978-0-7695-4188-4, \n                      https:\/\/doi.org\/10.1109\/QEST.2010.17","DOI":"10.1109\/QEST.2010.17"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-10696-0_13","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G.: A new greatSPN GUI for GSPN editing and CSLTA model checking. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 170\u2013173. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10696-0_13"},{"key":"21_CR4","series-title":"Springer Series in Reliability Engineering","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-30599-8_9","volume-title":"Principles of Performance and Reliability Modeling and Evaluation","author":"EG Amparore","year":"2016","unstructured":"Amparore, E.G., Balbo, G., Beccuti, M., Donatelli, S., Franceschinis, G.: 30 years of GreatSPN. In: Fiondella, L., Puliafito, A. (eds.) Principles of Performance and Reliability Modeling and Evaluation. SSRE, pp. 227\u2013254. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-30599-8_9"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-10696-0_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G., Buchholz, P., Donatelli, S.: A structured solution approach for Markov regenerative processes. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 9\u201324. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10696-0_3"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/nla.819","volume":"18","author":"EG Amparore","year":"2011","unstructured":"Amparore, E.G., Donatelli, S.: Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. 18, 1067\u20131083 (2011)","journal-title":"Numer. Linear Algebra Appl."},{"issue":"6","key":"21_CR7","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.peva.2013.02.002","volume":"70","author":"EG Amparore","year":"2013","unstructured":"Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6), 400\u2013422 (2013)","journal-title":"Perform. Eval."},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-66335-7_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2017","unstructured":"Amparore, E.G., Donatelli, S.: alphaFactory: a tool for generating the alpha factors of general distributions. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 36\u201351. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-66335-7_3"},{"key":"21_CR9","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. 6128, pp. 308\u2013317. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-13675-7_19"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/3-540-68061-6_32","volume-title":"Computer Performance Evaluation","author":"F Bause","year":"1998","unstructured":"Bause, F., Buchholz, P., Kemper, P.: A toolbox for functional and quantitative analysis of DEDS. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol. 1469, pp. 356\u2013359. Springer, Heidelberg (1998). \n                      https:\/\/doi.org\/10.1007\/3-540-68061-6_32"},{"issue":"3","key":"21_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1287\/ijoc.12.3.203.12634","volume":"12","author":"P Buchholz","year":"2000","unstructured":"Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. INFORMS J. Comput. 12(3), 203\u2013222 (2000)","journal-title":"INFORMS J. Comput."},{"key":"21_CR12","unstructured":"Buchholz, P.: Markov matrix market. \n                      http:\/\/ls4-www.cs.tu-dortmund.de\/download\/buchholz\/struct-matrix-market.html"},{"issue":"2","key":"21_CR13","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.761443","volume":"25","author":"P Buchholz","year":"1999","unstructured":"Buchholz, P.: Hierarchical structuring of superposed GSPNs. IEEE Trans. Softw. Eng. 25(2), 166\u2013181 (1999)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.peva.2017.08.002","volume":"115","author":"P Buchholz","year":"2017","unstructured":"Buchholz, P., Dayar, T., Kriege, J., Orhan, M.C.: On compact solution vectors in Kronecker-based Markovian analysis. Perform. Eval. 115, 132\u2013149 (2017)","journal-title":"Perform. Eval."},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-24611-4_8","volume-title":"Validation of Stochastic Systems","author":"P Buchholz","year":"2004","unstructured":"Buchholz, P., Kemper, P.: Kronecker based matrix representations for large Markov models. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 256\u2013295. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-24611-4_8"},{"issue":"1\u20133","key":"21_CR16","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1\u20133), 337\u2013357 (1994)","journal-title":"Perform. Eval."},{"issue":"2","key":"21_CR17","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/TSE.2008.108","volume":"35","author":"S Donatelli","year":"2009","unstructured":"Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSL\n                      \n                        \n                      \n                      $$^\\text{ TA }$$\n                    . IEEE Trans. Software Eng. 35(2), 224\u2013240 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0166-5316(00)00061-4","volume":"44","author":"R German","year":"2001","unstructured":"German, R.: Iterative analysis of Markov regenerative models. Perform. Eval. 44, 51\u201372 (2001)","journal-title":"Perform. Eval."},{"key":"21_CR19","unstructured":"Kordon, F., & all: Complete results for the 2019 edition of the Model Checking Contest (2019). \n                      http:\/\/mcc.lip6.fr\/2019\/results.php"},{"issue":"4","key":"21_CR20","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/0743-7315(91)90007-V","volume":"12","author":"B Plateau","year":"1991","unstructured":"Plateau, B., Fourneau, J.M.: A methodology for solving Markov models of parallel systems. J. Parallel Distrib. Comput. 12(4), 370\u2013387 (1991)","journal-title":"J. Parallel Distrib. Comput."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30281-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T23:04:31Z","timestamp":1567551871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30281-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030302801","9783030302818"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30281-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"4 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Glasgow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.qest.org\/qest2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}