Christensen, Søren, Jens Bæk Jørgensen, and Lars Michael Kristensen. 1997. “Design/CPN - A Computer Tool for Coloured Petri Nets”. DAIMI Report Series 26 (511). https://doi.org/10.7146/dpb.v26i511.7040.