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