How to find Invariants for Coloured Petri Nets
Kurt Jensen · DAIMI Report Series · 1983
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.