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