TY - JOUR
T1 - 30 years of greatSPN
AU - Amparore, Elvio Gilberto
AU - Balbo, Gianfranco
AU - Beccuti, Marco
AU - Donatelli, Susanna
AU - Franceschinis, Giuliana
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84994629579&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-30599-8_9
DO - 10.1007/978-3-319-30599-8_9
M3 - Article
AN - SCOPUS:84994629579
SN - 1614-7839
VL - 0
SP - 227
EP - 254
JO - Springer Series in Reliability Engineering
JF - Springer Series in Reliability Engineering
ER -