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