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