How to Find Invariants for Coloured Petri Nets

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.

[1]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[2]  Gérard Roucairol,et al.  Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.

[3]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..