A structural colour simplification in well-formed coloured nets
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Colored GSPN models and automatic symmetry detectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A structural colour simplification in well-formed coloured netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A condition for behaviour-preserving colour simplification in well-formed coloured netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- An Example of Modelling and Evaluation of a Concurrent Program Using Coloured Stochastic Petri Nets: Lamport’s Fast Mutual Exclusion AlgorithmPublished by Springer Nature ,1991
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981