Jensen, K. (1983) “How to find Invariants for Coloured Petri Nets”, DAIMI Report Series, 9(120). doi: 10.7146/dpb.v9i120.6538.