Coloured Petri Nets
graphical oriented language for design, specification, simulation and verification of systems
Design/CPN
offers help for Colored Petri Nets
University of Aarhus, Denmark - Coloured Petri Nets Group