Stochastic Modelling and Evaluation Using GreatSPN

GreatSPN is a tool that supports model-based (stochastic) analysis of Discrete Event Dynamic Systems (DEDS) modeled as Generalized Stochastic Petri Nets or one of its extensions like StochasticWell-formed Nets, Deterministic and Stochastic Petri Nets among the other. Performance evaluation of the timed and stochastic properties of the modeled systems was the initial reason for the tool development, and it is today a large and flexible framework that incorporates several analysis techniques, performance index types, variegated transition timing specifications, etc. In this paper we report the current status of the GreatSPN framework, with a focus on the modularity, the types of stochastic analysis, the specification and evaluation functionalities, and its role for the performance evaluation.