Extended SWN Solvers in GreatSPN

Authors:
J. M. Ilie;S. Baarir;M. Beccuti;C. Delamare;S. Donatelli;C. Dutheillet;G. Franceschinis;R. Gaeta;P. Moreaux
Affiliations:
Paris 6 University, Paris, France;Paris 6 University, Paris, France;Università del Piemonte Orientale, Alessandria, Italy;Université de Reims Champagne-Ardenne Reims, France;Università di Torino, Italy;Paris 6 University, Paris, France;Università del Piemonte Orientale, Alessandria, Italy;Università di Torino, Italy;Université de Reims Champagne-Ardenne Reims, France
Venue:
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Year:
2004

Citing 0
Cited 2

The GreatSPN tool: recent enhancements

ACM SIGMETRICS Performance Evaluation Review
Expressiveness and efficient analysis of stochastic well-formed nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

Well-formed nets and their stochastic timed extension, take advantage of symmetries to allow efficient solution techniques for both qualitative and quantitative properties. During the last decade, these techniques have been enriched with increasingly more powerful ones: this has been achieved by exploiting partial symmetries and decomposition. In this paper, we present a suite of new software tools based on the original SWN solver of the GreatSPN tool which implement these new features.