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