Christensen, S. and Mortensen, K. H. (1997) “Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course”, DAIMI Report Series, 26(520). doi: 10.7146/dpb.v26i520.7049.