Title of article :
GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
Author/Authors :
Chiola، نويسنده , , G. and Franceschinis، نويسنده , , G. and Gaeta، نويسنده , , R. and Ribaudo، نويسنده , , M.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1995
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.
Keywords :
Petri Nets , CTMC , SIMULATION , Modeling tool
Journal title :
Performance Evaluation
Journal title :
Performance Evaluation