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