Mortensen, K. H. Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems. DPB 1997, 26.