New solvers for asymmetric systems in GreatSPN

Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

Volumn , Issue , 2008, Pages 235-236

  Baarir, S ^a   Beccuti, M ^a   Franceschinis, G ^a  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 56649123471     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2008.38     Document Type: Conference Paper

References (6)

1. S. Baarir, C. Dutheillet, S. Haddad, and J-M. Ilié. On the use of exact lumpability in partially symmetrical Well-formed Nets. In Proc. of Int. Conf. on the Quantitative Evaluation of Systems (QEST), pages 23-32, Torino - Italy, September 2005.
2. S. Baarir, S. Haddad, and J-M. Ilié. Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems. In Proc. of the Int. Workshop on Discrete Event Systems, pages 223-228, Reims-France, September 2004.
3. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science, 176(1-2):39-65, 1997.
4. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1-2):47-68, November 1995.
5. M. Beccuti, S. Baarir, G. Franceschinis, and J-M. Ilié. Efficient lumpability check in partially symmetric systems. In QEST, pages 211-220, Riverside, CA, USA, September 2006.
6. S.Haddad, J.M Ilié, M. Taghelit, and B. Zouari. Symbolic Reachability Graph and Partial Symmetries. Proc. of Int. Conf. on Application and Theory of Petri Nets. Turin, Italy., 935:238-251, June 1995.