The GreatSPN Tool: Recent Enhancements - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM SIGMETRICS Performance Evaluation Review Année : 2009

The GreatSPN Tool: Recent Enhancements

Souheib Baarir
Marco Beccuti
  • Fonction : Auteur
Davide Cerotti
  • Fonction : Auteur
Marco de Pierro
  • Fonction : Auteur
Susanna Donatelli
  • Fonction : Auteur
Giuliana Franceschinis
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

hal-01176306 , version 1 (15-07-2015)

Identifiants

Citer

Souheib Baarir, Marco Beccuti, Davide Cerotti, Marco de Pierro, Susanna Donatelli, et al.. The GreatSPN Tool: Recent Enhancements. ACM SIGMETRICS Performance Evaluation Review, 2009, 36 (4), pp.4-9. ⟨10.1145/1530873.1530876⟩. ⟨hal-01176306⟩
89 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More