"Design/CPN - A Computer Tool for Coloured Petri Nets."

Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics