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.