Skip to Main content Skip to Navigation
Conference papers

Extended SWN Solvers in GreatSPN

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 implements these new features.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01496161
Contributor : Lip6 Publications <>
Submitted on : Monday, March 27, 2017 - 11:32:45 AM
Last modification on : Thursday, March 21, 2019 - 1:11:45 PM

Identifiers

Citation

Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, et al.. Extended SWN Solvers in GreatSPN. 1st International Conference on Quantitative Evaluation of Systems (QEST '04), 2004, Enschede, Netherlands. pp.324-325, ⟨10.1109/QEST.2004.1348049⟩. ⟨hal-01496161⟩

Share

Metrics

Record views

213