Colored GSPN models and automatic symmetry detection
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Coloured Petri NetsPublished by Springer Nature ,1987
- On the product-form solution of a class of multiple-bus multiprocessor system modelsJournal of Systems and Software, 1986