Mortensen, K. H. (1997) “Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems”, DAIMI Report Series, 26(522). doi: 10.7146/dpb.v26i522.7051.