Christensen, S., Jørgensen, J. B. and Kristensen, L. M. (1997) “Design/CPN - A Computer Tool for Coloured Petri Nets”, DAIMI Report Series, 26(511). doi: 10.7146/dpb.v26i511.7040.