The GreatSPN tool: Recent enhancements

Performance Evaluation Review

Volumn 36, Issue 4, 2009, Pages 4-9

  Baarir, Soheib ^a   Beccuti, M ^b   Cerotti, Davide ^b   De Pierro, Massimiliano ^c   Donatelli, Susanna ^c   Franceschinis, Giuliana ^b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

GENERALIZED STOCHASTIC PETRI NETS; QUALITATIVE AND QUANTITATIVE ANALYSIS; RESEARCH COMMUNITIES; STOCHASTIC WELL-FORMED NETS;

STOCHASTIC SYSTEMS;

EID: 84993971722     PISSN: 01635999     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1530873.1530876     Document Type: Conference Paper

References (17)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Model-checking continuous time Markov chains. ACM Trans. on Computational Logic, 1(1):162-170, 2000.
3. S. Baarir, M. Beccuti, and G. Franceschinis. New solvers for asymmetric systems in GreatSPN. In Proc. of the 5th Int. Conf. on Quantitative Evaluation of Systems (QEST08), pages 235-236, St. Malo, France, Sep. 2008. IEEE CS Press.
4. S. Baarir, C. Dutheillet, S. Haddad, and J.-M. Ilié. On the Use of Exact Lumpability in Partially Symmetrical Well-formed Nets. In Proc. of the 2nd Int. Conf. on Quantitative Evaluation of Systems (QEST05), pages 23-32, Torino, Italy, Sep. 2005. IEEE CS Press.
5. M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, and S. Haddad. A framework to design and solve Markov Decision Well-formed Net models. In Proc. of the 4th Int. Conf. on Quantitative Evaluation of Systems (QEST07), pages 165-166, Edinburgh, UK, Sep. 2007. IEEE CS Press.
6. M. Beccuti, G. Franceschinis, S. Baarir, and J.-M. Ilié. Efficient lumpability check in partially symmetric systems. In Proc. of the 3rd Int. Conf. on the Quantitative Evaluation of Systems (QEST06), pages 211-220, Riverside, CA, USA, Sep. 2006. IEEE CS Press.
7. S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, R. Gaeta, M. Gribaudo, and A. Horváth. GreatSPN in the New Millenium. In Tools, 2001 Int. Multiconf. on Measurement, Modelling and Evaluation of Computer Communication Systems, pages 17-23, 2001. TR760/2001 of the Universitat Dortmund (Germany).
8. S. Bernardi and J. Campos. On Performance Bounds for Interval Time Petri Nets. In Proc. of the 1st International Conference on Quantitative Evaluation of Systems (QEST04), pages 50-59, Enschede, The Netherlands, Sep. 2004. IEEE CS Press.
9. S. Bernardi, S. Donatelli, and A. Horváth. Compositionality in the GreatSPN tool and its use to the modelling of industrial applications. Software Tools for Technology Transfer, 3(4):417-430, 2001.
10. D. Cerotti, D. D'Aprile, S. Donatelli, and J. Sproston. Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. In Proc. of the 6th Int. Conf. on Application of Concurrency to System Design, ACSD06, pages 143-152, Turku, Finland, June 2006. IEEE Computer Society.
11. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications. IEEE Trans. on Computers, 42(11):1343-1360, Nov. 1993.
12. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1&2):47-68, Nov. 1995.
13. S. Donatelli and P. Kemper. Integrating synchronization with priority into a Kronecker representation. Perform. Eval., 44(1-4):73-96, 2001.
14. M. Gribaudo, D. Codetta-Raiteri, and G. Franceschinis. Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. In Proc. of the 2nd Int. Conf. on Quantitative Evaluation of Systems (QEST05), pages 256-257, Torino, Italy, Sep. 2005. IEEE CS Press.
15. J.-M. Ilié, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, and P. Moreaux. Extended SWN solvers in GreatSPN. In Proc. of the 1st Int. Conf. on Quantitative Evaluation of Systems (QEST04), pages 324-325, Enschede, The Netherlands, Sep. 2004. IEEE CS Press.
16. Y. Thierry-Mieg, J.-M. Ilié, and D. Poitrenaud. A Symbolic Symbolic State Space Representation. In Proc. of the 24th Int. Conf on Formal Techniques for Networked and Distributed Systems, pages 276-291, Madrid, Spain, Sep. 2004. LNCS 3235.
17. Univ. di Torino and Univ. del Piemonte Orientale. GreatSPN User's Manual, 2008. Downloadable from www.di.unito.it/~greatspn.