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