A condition for behaviour-preserving colour simplification in well-formed coloured nets

Publisher Website

1 January 1991

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iscas.1991.176492

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A structural colour simplification in well-formed coloured nets
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
An Example of Modelling and Evaluation of a Concurrent Program Using Coloured Stochastic Petri Nets: Lamport’s Fast Mutual Exclusion Algorithm
Published by Springer Nature ,1991
Coloured petri nets and the invariant-method
Theoretical Computer Science, 1981