Jensen, Kurt. “How to Find Invariants for Coloured Petri Nets”. DAIMI Report Series 9, no. 120 (January 1, 1983). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/6538.