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

Yet Another Workflow Language

Description

YAWL is a BPM/Workflow system, based on a concise and powerful modelling language, that handles complex data transformations, and full integration with organizational resources and external Web Services. YAWL offers:

  • the most powerful process specification language for capturing control-flow dependencies and resourcing requirements.
  • native data handling using XML Schema, XPath and XQuery.
  • a formal foundation that makes its specifications unambiguous and allows automated verification.
  • a service-oriented architecture that provides an environment that can easily be tuned to specific needs.

Links

  • YAWL (includes downloads)