K. Jensen, “How to find Invariants for Coloured Petri Nets”, DPB, vol. 9, no. 120, Jan. 1983.