GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets

G. CHIOLA; Giuliana Annamaria FRANCESCHINIS; R. GAETA; M. RIBAUDO

doi:10.1016/0166-5316(95)00008-L

GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets

G. CHIOLA
, Giuliana Annamaria FRANCESCHINIS
, R. GAETA
, M. RIBAUDO

Department of Science and Technological Innovation

Research output: Contribution to journal › Article › peer-review

Abstract

This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on “real” applications, not only toy examples. Developed in a university for non-profit purposes, it is distributed free of charge to other universities for educational and research purposes. An overview of the complete architecture of the package is given together with examples of its application. Then the various analysis and simulation modules are described.

Original language	English
Pages (from-to)	47-68
Number of pages	22
Journal	Performance Evaluation
Volume	24
Issue number	1-2
DOIs	https://doi.org/10.1016/0166-5316(95)00008-L
Publication status	Published - 1995

Access to Document

10.1016/0166-5316(95)00008-L

http://hdl.handle.net/11579/3434

Cite this

@article{b740a3c3507e4b8295c55d5492344ef0,

title = "GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets",

abstract = "This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on “real” applications, not only toy examples. Developed in a university for non-profit purposes, it is distributed free of charge to other universities for educational and research purposes. An overview of the complete architecture of the package is given together with examples of its application. Then the various analysis and simulation modules are described.",

author = "G. CHIOLA and FRANCESCHINIS, \{Giuliana Annamaria\} and R. GAETA and M. RIBAUDO",

note = "Funding Information: This work was supportedb y the CNR “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo”, contract no. 92.01563.PF69t,h e Italian MURST “40\%” project, and by the ESPRIT-BRA project No. 7269“ QMIPS”.",

year = "1995",

doi = "10.1016/0166-5316(95)00008-L",

language = "English",

volume = "24",

pages = "47--68",

journal = "Performance Evaluation",

issn = "0166-5316",

publisher = "Elsevier B.V.",

number = "1-2",

}

TY - JOUR

T1 - GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets

AU - CHIOLA, G.

AU - FRANCESCHINIS, Giuliana Annamaria

AU - GAETA, R.

AU - RIBAUDO, M.

N1 - Funding Information: This work was supportedb y the CNR “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo”, contract no. 92.01563.PF69t,h e Italian MURST “40%” project, and by the ESPRIT-BRA project No. 7269“ QMIPS”.

PY - 1995

Y1 - 1995

N2 - This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on “real” applications, not only toy examples. Developed in a university for non-profit purposes, it is distributed free of charge to other universities for educational and research purposes. An overview of the complete architecture of the package is given together with examples of its application. Then the various analysis and simulation modules are described.

AB - This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on “real” applications, not only toy examples. Developed in a university for non-profit purposes, it is distributed free of charge to other universities for educational and research purposes. An overview of the complete architecture of the package is given together with examples of its application. Then the various analysis and simulation modules are described.

UR - https://iris.uniupo.it/handle/11579/3434

U2 - 10.1016/0166-5316(95)00008-L

DO - 10.1016/0166-5316(95)00008-L

M3 - Article

SN - 0166-5316

VL - 24

SP - 47

EP - 68

JO - Performance Evaluation

JF - Performance Evaluation

IS - 1-2

ER -

GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets

Abstract

Access to Document

Other files and links

Fingerprint

Cite this