30 years of greatSPN

Elvio Gilberto Amparore, Gianfranco Balbo, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

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.

Lingua originaleInglese
pagine (da-a)227-254
Numero di pagine28
RivistaSpringer Series in Reliability Engineering
Volume0
DOI
Stato di pubblicazionePubblicato - 2016

Fingerprint

Entra nei temi di ricerca di '30 years of greatSPN'. Insieme formano una fingerprint unica.

Cita questo