Mortensen, Kjeld Høyer. “Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems”. DAIMI Report Series, bd. 26, nr. 522, marts 1997, doi:10.7146/dpb.v26i522.7051.