Jensen, Kurt. 1983. “Coloured Petri Nets and the Invariant-Method”. DAIMI Report Series 8 (104). https://doi.org/10.7146/dpb.v8i104.6519.