Extended SWN solvers in GreatSPN

S. Donatelli, J.M. Ilie, S. Baarir, M. Beccuti, C. Delamare, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux
2004 First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.  
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.
doi:10.1109/qest.2004.1348049 dblp:conf/qest/IlieBBDDDFGM04 fatcat:jhxldibc4fd47arbke6dzqbuki