CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishWell-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.
| Titolo: | Extended SWN Solvers in GreatSPN | |
| Autori Riconosciuti: | ||
| Autori: | J.M. Ilie; S. Baarir; M. Beccuti; C. Delamare; S. Donatelli; C. Dutheillet; G. Franceschinis; R. Gaeta; P. Moreaux | |
| Data di pubblicazione: | 2004 | |
| 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. | |
| Editore: | IEEE Computer Society | |
| Titolo del libro: | Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST) | |
| Volume: | Vol. | |
| Pagina iniziale: | 324 | |
| Pagina finale: | 325 | |
| Nome del convegno: | 1st International Conference on Quantitative Evaluation of Systems (QEST) | |
| Luogo del convegno: | Enschede, Netherlands | |
| Anno del convegno: | Settembre 27-30 | |
| Digital Object Identifier (DOI): | 10.1109/QEST.2004.1348049 | |
| ISBN: | 0-7695-2185-1 | |
| URL: | http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=29678&isYear=2004&count=46&page=1&ResultStart=25 | |
| Parole Chiave: | Petri Nets; Stochastic Well-formed Nets; Performance evaluation tools | |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
http://hdl.handle.net/2318/82068
Copyright © 2021