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.
Original language | English |
---|---|
Pages (from-to) | 4-9 |
Number of pages | 6 |
Journal | Performance Evaluation Review |
Volume | 36 |
Issue number | 4 |
DOIs | |
Publication status | Published - 1 Mar 2009 |