Christensen, Søren, Jens Bæk Jørgensen, og 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.