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.
| 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.
