Jensen, K. “Coloured Petri Nets and the Invariant-Method”. DAIMI Report Series, vol. 8, no. 104, Jan. 1983, doi:10.7146/dpb.v8i104.6519.