K. Jensen, “Coloured Petri Nets and the Invariant-Method”, DPB, vol. 8, no. 104, Jan. 1983.