Jensen, K. Coloured Petri Nets and the Invariant-Method. DPB 1983, 8.