Jørgensen, J. B. Analysing Coloured Petri Nets by the Occurrence Graph Method. DPB 1997, 26.