{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:43:57Z","timestamp":1779392637567,"version":"3.53.1"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T00:00:00Z","timestamp":1237939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMETRICS Perform. Eval. Rev."],"published-print":{"date-parts":[[2009,3,25]]},"abstract":"<jats:p>GreatSPN is a tool that supports the design and the qualitative and quantitative analysis of Generalized Stochastic Petri Nets (GSPN) and of Stochastic Well-Formed Nets (SWN). The very first version of GreatSPN saw the light in the late eighties of last century: since then two main releases where developed and widely distributed to the research community: GreatSPN1.7 [13], and GreatSPN2.0 [8]. This paper reviews the main functionalities of GreatSPN2.0 and presents some recently added features that significantly enhance the efficacy of the tool.<\/jats:p>","DOI":"10.1145\/1530873.1530876","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T14:14:44Z","timestamp":1240323284000},"page":"4-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":101,"title":["The GreatSPN tool"],"prefix":"10.1145","volume":"36","author":[{"given":"Soheib","family":"Baarir","sequence":"first","affiliation":[{"name":"Univ. del Piemonte Orientale"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[{"name":"Univ. del Piemonte Orientale"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Cerotti","sequence":"additional","affiliation":[{"name":"Univ. del Piemonte Orientale"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Massimiliano","family":"De Pierro","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[{"name":"Univ. del Piemonte Orientale"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,3,25]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"Marsan M. Ajmone","year":"1995","unstructured":"M. Ajmone Marsan , G. Balbo , G. Conte , S. Donatelli , and G. Franceschinis . Modelling with Generalized Stochastic Petri Nets . J. Wiley , 1995 . M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.38"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.26"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.760855"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.2"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2006.17"},{"key":"e_1_2_1_8_1","first-page":"17","volume-title":"Tools","author":"Bernardi S.","year":"2001","unstructured":"S. Bernardi , C. Bertoncello , S. Donatelli , G. Franceschinis , R. Gaeta , M. Gribaudo , and A. Horv\u00e1th . GreatSPN in the New Millenium . In Tools , 2001 Int. Multiconf. on Measurement, Modelling and Evaluation of Computer Communication Systems, pages 17 -- 23 , 2001. TR760\/2001 of the Universitat Dortmund (Germany) . S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, R. Gaeta, M. Gribaudo, and A. Horv\u00e1th. GreatSPN in the New Millenium. In Tools, 2001 Int. Multiconf. on Measurement, Modelling and Evaluation of Computer Communication Systems, pages 17--23, 2001. TR760\/2001 of the Universitat Dortmund (Germany)."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025129.1026074"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100065"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.36"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.247838"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00008-L"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(00)00060-2"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/882474.883465"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.10"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025129.1026104"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_18"},{"key":"e_1_2_1_19_1","volume-title":"GreatSPN User's Manual","author":"Univ Torino","year":"2008","unstructured":"Univ. di Torino and Univ . del Piemonte Orientale . GreatSPN User's Manual , 2008 . Downloadable from www.di.unito.it\/~greatspn. Univ. di Torino and Univ. del Piemonte Orientale. GreatSPN User's Manual , 2008. Downloadable from www.di.unito.it\/~greatspn."}],"container-title":["ACM SIGMETRICS Performance Evaluation Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1530873.1530876","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1530873.1530876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:23Z","timestamp":1750253423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1530873.1530876"}},"subtitle":["recent enhancements"],"short-title":[],"issued":{"date-parts":[[2009,3,25]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,3,25]]}},"alternative-id":["10.1145\/1530873.1530876"],"URL":"https:\/\/doi.org\/10.1145\/1530873.1530876","relation":{},"ISSN":["0163-5999"],"issn-type":[{"value":"0163-5999","type":"print"}],"subject":[],"published":{"date-parts":[[2009,3,25]]},"assertion":[{"value":"2009-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}