This is an old revision of the document!


Tools

CPN Tools

Coloured Petri Net Tools

Description

CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space report contains information, such as boundedness properties and liveness properties.

ProM

Process Mining

Description

The Process Mining Framework in which all our process-mining related ideas are implemented. If you want to see our research at work, download the latest release of ProM.

Links

YAWL