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