Abstract
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 [12], and GreatSPN2.0 [7]. This paper reviews the main functionalities of GreatSPN2.0 and presents some recently added features that significantly enhance the efficacy of the tool.
Lingua originale | Inglese |
---|---|
pagine (da-a) | 4-9 |
Numero di pagine | 6 |
Rivista | Performance Evaluation Review |
Volume | 36 |
Numero di pubblicazione | 4 |
DOI | |
Stato di pubblicazione | Pubblicato - 1 mar 2009 |