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.