30 years of greatSPN

被引：54

作者：

Amparore E.G. ^{[1
]}

Balbo G. ^{[1
]}

Beccuti M. ^{[1
]}

Donatelli S. ^{[1
]}

Franceschinis G. ^{[2
]}

机构：

[1] Dipartimento di Informatica, Università di Torino, C.so Svizzera 185, Turin

[2] Dipartimento di Scienze e Innovazione Tecnologica, Università del Piemonte Orientale, Viale Teresa Michel 11, Alessandria

来源：

Springer Series in Reliability Engineering | 2016年 / 0卷

关键词：

Model checking - Petri nets - Stochastic systems - Stochastic models;

D O I：

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

中图分类号：

学科分类号：

摘要：

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. © Springer International Publishing Switzerland 2016.

引用

页码：227 / 254

页数：27

共 38 条

[1]

Ajmone Marsan M., Balbo G., Ciardo G., Conte G., A software tool for the automatic analysis of generalized stochastic Petri net models, Proceedings of the 1St International Conference on Modeling Techniques and Tools for Performance Analysis, pp. 243-258, (1984)

[2]

Ajmone Marsan M., Conte G., Balbo G., A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans Comput Syst, 2, pp. 93-122, (1984)

[3]

Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G., Modeling with Generalized Stochastic Petri Nets, (1995)

[4]

Ajmone Marsan M., Balbo G., Conte G., The early days of GSPNs, Performance Evaluation: Origins and Directions, pp. 505-512, (2000)

[5]

Amparore E., Beccuti M., Donatelli S., Stochastic) Model checking in GreatSPN, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8489, pp. 354-363, (2014)

[6]

Amparore E.G., Reengineering the editor of the GreatSPN framework, Proceedings, Ceur-Ws.Org, CEUR Workshop Proceedings, 1372, pp. 153-170, (2015)

[7]

Amparore E.G., Donatelli S., MC4CSL<sup>T A</sup>: An efficient model checking tool for CSL<sup>T A</sup>, International Conference on Quantitative Evaluation of Systems, pp. 153-154, (2010)

[8]

Apnntoolbox Webpage, (2015)

[9]

Baarir S., Beccuti M., Dutheillet C., Franceschinis G., Haddad S., Lumping partially symmetrical stochastic models, Perform Eval, 68, 1, pp. 21-44, (2011)

[10]

Balbo G., Chiola G., Stochastic Petri net simulation, Proceedings of the 21St Conference on Winter Simulation, pp. 266-276, (1989)

← 1 2 3 4 →