S. Christensen and K. H. Mortensen, “Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course”, DPB, vol. 26, no. 520, Mar. 1997.