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