This paper shows how invariants can be found for coloured Petri Nets. We define a set of transformation rules, which can be used to transform the incidence matrix, without changing the set of invariants.
Lecture Notes in Computer Science, 1981, p. 327-338
Main Research Area:
Lecture Notes in Computer Science
Symposium on Mathematical Foundations of Computer Science, 1981