S. Christensen og K. H. Mortensen, “Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course”, DPB, bd. 26, nr. 520, mar. 1997.