J. B. Jørgensen, “Analysing Coloured Petri Nets by the Occurrence Graph Method”, DPB, vol. 26, no. 517, Feb. 1997.