K. H. Mortensen, “Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems”, DPB, vol. 26, no. 522, Mar. 1997.