Christensen, Søren, et al. “Design/CPN/-/A/Computer/Tool/for/Coloured/Petri/Nets”. DAIMI Report Series, vol. 26, no. 511, Feb. 1997, doi:10.7146/dpb.v26i511.7040.