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