Christensen, S.; Jørgensen, J. B.; Kristensen, L. M. Design/CPN - A Computer Tool for Coloured Petri Nets. DPB 1997, 26.