Jensen, K. How to Find Invariants for Coloured Petri Nets. DPB 1983, 9.