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.

Extended SWN Solvers in GreatSPN

BECCUTI, Marco;DONATELLI, Susanna;GAETA, Rossano;
2004-01-01

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.
2004
1st International Conference on Quantitative Evaluation of Systems (QEST)
Enschede, Netherlands
Settembre 27-30
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST)
IEEE Computer Society
Vol.
324
325
0-7695-2185-1
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=29678&isYear=2004&count=46&page=1&ResultStart=25
Petri Nets; Stochastic Well-formed Nets; Performance evaluation tools
J.M. Ilie; S. Baarir; M. Beccuti; C. Delamare; S. Donatelli; C. Dutheillet; G. Franceschinis; R. Gaeta; P. Moreaux
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/82068
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 1
social impact