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