loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
ASCII Text
x 
 
J. M. Ili?, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux, "Extended SWN Solvers in GreatSPN," Quantitative Evaluation of Systems, International Conference on, pp. 324-325, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2004.10017,
author = {J. M. Ili? and S. Baarir and M. Beccuti and C. Delamare and S. Donatelli and C. Dutheillet and G. Franceschinis and R. Gaeta and P. Moreaux},
title = {Extended SWN Solvers in GreatSPN},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2185-1},
pages = {324-325},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10017},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - Extended SWN Solvers in GreatSPN
SN - 0-7695-2185-1
SP324
EP325
A1 - J. M. Ili?,
A1 - S. Baarir,
A1 - M. Beccuti,
A1 - C. Delamare,
A1 - S. Donatelli,
A1 - C. Dutheillet,
A1 - G. Franceschinis,
A1 - R. Gaeta,
A1 - P. Moreaux,
PY - 2004
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
J. M. Ili?, Paris 6 University, Paris, France
S. Baarir, Paris 6 University, Paris, France
M. Beccuti, Universit? del Piemonte Orientale, Alessandria, Italy
C. Delamare, Universit? de Reims Champagne-Ardenne Reims, France
S. Donatelli, Universit? di Torino, Italy
C. Dutheillet, Paris 6 University, Paris, France
G. Franceschinis, Universit? del Piemonte Orientale, Alessandria, Italy
R. Gaeta, Universit? di Torino, Italy
P. Moreaux, Universit? de Reims Champagne-Ardenne Reims, France
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.
Citation:
J. M. Ili?, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux, "Extended SWN Solvers in GreatSPN," qest, pp.324-325, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.