30 Years of GreatSPN

Elvio Gilberto Amparore (), Gianfranco Balbo (), Marco Beccuti (), Susanna Donatelli () and Giuliana Franceschinis ()
Additional contact information
Elvio Gilberto Amparore: Università di Torino
Gianfranco Balbo: Università di Torino
Marco Beccuti: Università di Torino
Susanna Donatelli: Università di Torino
Giuliana Franceschinis: Università del Piemonte Orientale

A chapter in Principles of Performance and Reliability Modeling and Evaluation, 2016, pp 227-254 from Springer

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

Keywords: Model Check; Reachable State; Reachability Graph; Command Line Tool; Computational Tree Logic (search for similar items in EconPapers)
Date: 2016
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ssrchp:978-3-319-30599-8_9

Ordering information: This item can be ordered from
http://www.springer.com/9783319305998

DOI: 10.1007/978-3-319-30599-8_9

Access Statistics for this chapter

More chapters in Springer Series in Reliability Engineering from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().