Christensen, S.; Mortensen, K. H. Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course. DPB 1997, 26.