Jørgensen, Jens Bæk. “Analysing Coloured Petri Nets by the Occurrence Graph Method”.
DAIMI Report Series
26, no. 517 (February 1, 1997). Accessed March 16, 2025. https://tidsskrift.dk/daimipb/article/view/7046.