J. B. Jørgensen, “Analysing Coloured Petri Nets by the Occurrence Graph Method”, DPB, bd. 26, nr. 517, feb. 1997.