GreatSPN is a tool for the stochastic analysis of systems modeled as (stochastic) Petri nets. This chapter describes the evolution of the GreatSPN framework over its life span of 30 years, from the first stochastic Petri net analyzer implemented in Pascal, to the current, fancy, graphical interface that supports a number of different model analyzers. This chapter reviews, with the help of a manufacturing system example, how GreatSPN is currently used for an integrated qualitative and quantitative analysis of Petri net systems, ranging from symbolic model checking techniques to a stochastic analysis whose efficiency is boosted by lumpability.

30 Years of GreatSPN

AMPARORE, ELVIO GILBERTO;BALBO, Gianfranco;BECCUTI, Marco;DONATELLI, Susanna;
2016-01-01

Abstract

GreatSPN is a tool for the stochastic analysis of systems modeled as (stochastic) Petri nets. This chapter describes the evolution of the GreatSPN framework over its life span of 30 years, from the first stochastic Petri net analyzer implemented in Pascal, to the current, fancy, graphical interface that supports a number of different model analyzers. This chapter reviews, with the help of a manufacturing system example, how GreatSPN is currently used for an integrated qualitative and quantitative analysis of Petri net systems, ranging from symbolic model checking techniques to a stochastic analysis whose efficiency is boosted by lumpability.
2016
Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday
Springer International Publishing
Springer Series in Reliability Engineering
227
254
978-3-319-30599-8
http://dx.doi.org/10.1007/978-3-319-30599-8_9
GreatSPN, stochastic Petri nets, model checking
Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis
File in questo prodotto:
File Dimensione Formato  
Amparore-trivedi-chapter.pdf

Accesso aperto

Descrizione: Capitolo di libro
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 2.03 MB
Formato Adobe PDF
2.03 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1624717
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 63
  • ???jsp.display-item.citation.isi??? ND
social impact