Jørgensen, J. B. (1997) “Analysing Coloured Petri Nets by the Occurrence Graph Method”, DAIMI Report Series, 26(517). doi: 10.7146/dpb.v26i517.7046.