CPN Tools
CPN Tools is the ultimate tool for the modeling and simulation of colored Petri nets. We at the Process and Data Science group offer support for the implementation of process models in CPN tools.
External content:
CPN tools for editing, simulating, and analysing coloured Petri nets (scientific paper)