Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Phase Type and Matrix Exponential Distributions in Stochastic Modeling Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

30 Years of GreatSPN

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

Erschienen in: Principles of Performance and Reliability Modeling and Evaluation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Managed Dependability in Interacting Systems
Nächstes Kapitel WebSPN: A Flexible Tool for the Analysis of Non-Markovian Stochastic Petri Nets
Fußnoten
1
Firing times are random variables with negative exponential distributions.
 
2
Firing times are random variables with general distributions.
 
3
The formalism was first introduced with the name of Well-Formed Nets, but recently it has been replaced by the new name Symmetric Nets, better emphasizing its specific features.
 
Literatur
1.
Ajmone Marsan M, Balbo G, Ciardo G, Conte G (1984) A software tool for the automatic analysis of generalized stochastic Petri net models. In: Proceedings of the 1st international conference on modeling techniques and tools for performance analysis, INRIA, Paris, France, pp 243–258
2.
Ajmone Marsan M, Conte G, Balbo G (1984) A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans Comput Syst 2:93–122CrossRef
3.
4.
Ajmone Marsan M, Balbo G, Conte G (2000) The early days of GSPNs. In: Performance evaluation: origins and directions. Springer, London, pp 505–512
5.
Amparore E, Beccuti M, Donatelli S (2014) (stochastic) Model checking in GreatSPN. Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 8489, LNCS, pp 354–363
6.
Amparore EG (2015) Reengineering the editor of the GreatSPN framework. In: Moldt D, Rölke H, Störrle H (eds) Petri nets and software engineering. International workshop, PNSE’15, Brussels, Belgium, 22–23 June 2015. Proceedings, CEUR-WS.org, CEUR workshop proceedings, vol 1372, pp 153–170
7.
Amparore EG, Donatelli S (2010) MC4CSL\(^{TA}\): an efficient model checking tool for CSL\(^{TA}\). In: International conference on quantitative evaluation of systems. IEEE Computer Society, Los Alamitos, CA, USA, pp 153–154
8.
9.
Baarir S, Beccuti M, Dutheillet C, Franceschinis G, Haddad S (2011) Lumping partially symmetrical stochastic models. Perform Eval 68(1):21–44CrossRef
10.
Balbo G, Chiola G (1989) Stochastic Petri net simulation. In: Proceedings of the 21st conference on winter simulation. ACM, New York, NY, USA, WSC ’89, pp 266–276
11.
Balbo G, Beccuti M, De Pierro M, Franceschini G (2011) Computing first passage time distributions in stochastic well-formed nets. SIGSOFT Softw Eng Notes 36(5):7–18CrossRef
12.
Beccuti M, Franceschinis G (2012) Efficient simulation of stochastic well-formed nets through symmetry exploitation. In: Proceedings—winter simulation conference
13.
Bucci G, Carnevali L, Ridi L, Vicario E (2010) Oris: a tool for modeling, verification and evaluation of real-time systems. Int J Softw Tools Technol Transfer 12(5):391–403CrossRef
14.
Buchholz P, Ciardo G, Donatelli S, Kemper P (2000) Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. INFORMS J Comput 12(3):203–222MathSciNetCrossRefMATH
15.
Chiola G (1985) A Software package for the analysis of Generalized Stochastic Petri Net models. In: International workshop on timed Petri Nets. IEEE Computer Society, Washington, DC, USA, pp 136–143
16.
Chiola G (1988) Compiling techniques for the analysis of stochastic Petri nets. In: Proceedings of the 4th international conference on modeling techniques and tools for computer performance evaluation, AFCET, pp 11–24
17.
Chiola G, Ajmone Marsan M, Balbo G, Conte G (1993) Generalized stochastic Petri nets: a definition at the net level and its implications. IEEE Trans Softw Eng 19(2):89–107CrossRef
18.
Chiola G, Dutheillet C, Franceschinis G, Haddad S (1993) Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans Comput 42(11):1343–1360CrossRef
19.
Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle J, Sanders W, Webster P (2001) The mobius modeling tool. In: Proceedings of the 9th international workshop on Petri nets and performance models, pp 241–250
20.
Clarke EM, Emerson EA (1982) Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen D (ed) Logics of programs, workshop, Yorktown Heights, New York, May 1981. Lecture notes in computer science, vol 131. Springer, pp 52–71
21.
Donatelli S, Haddad S, Sproston J (2009) Model checking timed and stochastic properties with CSL\(^{TA}\). IEEE Trans Softw Eng 35(2):224–240CrossRef
22.
Gaeta R (1996) Efficient discrete-event simulation of colored Petri nets. IEEE Trans Softw Eng 22(9):629–639CrossRef
23.
German R (2000) Performance analysis of communication systems with non-Markovian stochastic Petri nets. Wiley, New YorkMATH
24.
25.
Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012) Snoopy—a unifying Petri net tool. In: Application and theory of Petri nets—33rd international conference, PETRI NETS 2012, Hamburg, Germany, 25–29 June 2012. Proceedings, pp 398–407
26.
Heiner M, Rohr C, Schwarick M (2013) MARCIE—model checking and reachability analysis done efficiently. In: Colom JM, Desel J (eds) Application and theory of Petri nets and concurrency—34th international conference, PETRI NETS 2013, Milan, Italy, 24–28 June 2013. Proceedings, Lecture notes in computer science, vol 7927. Springer, pp 389–399
27.
Heiner M, Schwarick M, Wegener J (2015) Charlie—an extensible petri net analysis tool. In: Devillers RR, Valmari A (eds) Application and theory of Petri nets and concurrency—36th international conference, PETRI NETS 2015, Brussels, Belgium, 21–26 June 2015. Proceedings, Lecture notes in computer science, vol 9115. Springer, pp 200–211
28.
Hirel C, Tuffin B, Trivedi KS (2000) Spnp: stochastic Petri nets, version 6.0. In: Proceedings of the 11th international conference on computer performance evaluation: modelling techniques and tools. Springer, London, UK, UK, TOOLS ’00, pp 354–357
29.
30.
31.
Kounev S, Spinner S, Meier P (2010) Qpme 2.0—a tool for stochastic modeling and analysis using queueing Petri nets. In: Sachs K, Petrov I, Guerrero P (eds) From active data management to event-based systems and more. Lecture notes in computer science, vol 6462. Springer, Berlin, pp 293–311
32.
Molloy M (1982) Performance analysis using stochastic Petri nets. IEEE Trans Comput C-31(9):913–917
33.
Molloy MK, Riddle P (1986) The Stochastic Petri Net Analyzer system design tool for bit-mapped workstations. University of Texas at Austin, Computer Science Department
34.
Petri C (1962) Kommunikation mit Automaten. PhD thesis, Schriften des Institutes fr Instrumentelle Matematik, Bonn
35.
Sanders W, Meyer J (2001) Stochastic activity networks: formal definitions and concepts. In: Brinksma E, Hermanns H, Katoen JP (eds) Lectures on formal methods and performance analysis. Lecture notes in computer science, vol 2090. Springer, Berlin, pp 315–343
36.
37.
Teruel E, Franceschinis G, De Pierro M (2003) Well-defined generalized stochastic Petri nets: a net-level method to specify priorities. IEEE Trans Softw Eng 29(11):962–973CrossRef
38.
Zimmermann A (2012) Modeling and evaluation of stochastic Petri nets with timenet 4.1. In: Gaujal B, Jean-Marie A, Jorswieck EA, Seuret A (eds) 6th international ICST conference on performance evaluation methodologies and tools, Cargese, Corsica, France, 9–12 October 2012. ICST/IEEE, pp 54–63
Metadaten
Titel
30 Years of GreatSPN
verfasst von
Elvio Gilberto Amparore
Gianfranco Balbo
Marco Beccuti
Susanna Donatelli
Giuliana Franceschinis
Copyright-Jahr
2016
Buch
Principles of Performance and Reliability Modeling and Evaluation

Print ISBN: 978-3-319-30597-4

Electronic ISBN: 978-3-319-30599-8

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-30599-8_9

Neuer Inhalt

    Bildnachweise