Jensen, K. “How to Find Invariants for Coloured Petri Nets”. DAIMI Report Series, vol. 9, no. 120, Jan. 1983, doi:10.7146/dpb.v9i120.6538.