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.