Extended SWN solvers in GreatSPN

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Volumn , Issue , 2004, Pages 324-325

  Ilie J M ^c   Baarir, S ^c   Beccuti, M ^b   Delamare, C ^d   Donatelli, S ^a   Dutheillet, C ^c   Franceschinis, G ^b   Gaeta, R ^a   Moreaux, P ^d  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^c UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^d UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATIONAL METHODS; COMPUTER SIMULATION; EQUIVALENCE CLASSES; GRAPH THEORY; MATHEMATICAL MODELS; RANDOM PROCESSES; RELIABILITY THEORY; SET THEORY; SIMULATORS; VECTORS;

SIMULATOR PROGRAMS; SUBSETS; SWN SOLVERS; SYMBOLIC MARKING (SM);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 16244411311     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)

1. L. Capra, C. Dutheillet, G. Franceschinis, and J-M. Ilié. Exploiting partial symmetries for markov chain aggregation. E. Notes in Theoretical Computer Science, 39(3), 2000.
2. C. Delamare, Y. Gardan, and P. Moreaux. Efficient implementation for performance evaluation of synchronous decomposition of high level stochastic Petri nets. In Proc. ICALP2003 Workshop on Stochastic Petri Nets and Related Formalisms, pages 164-183, Eindhoven, N.L., June 2003.
3. G. Gaeta. Efficient discrete-event simulation of colored Petri nets. IEEE Trans. on Software Engineering, 22(9), Sept 1996.