ProM 5.2

The Adobe Flash Plugin is needed to display this content.


Windows installer
EXE, 55.9 MB
Mac OS X disk image
DMG, 43.7 MB
All platforms
TAR.GZ, 55.8 MB


ProM 5.2 is distributed under the CPL license.


In ProM 5.2, there are more than 230 plug-ins available, and we support the import of (and the conversion between) several process modelling languages, such as:

There are mining plugins, such as:

  • Plugins supporting control-flow mining techniques (such as the Alpha algorithm, Genetic mining, Multi-phase mining, …)
  • Plugins analysing the organizational perspective (such as the Social Network miner, the Staff Assignment miner, …)
  • Plugins dealing with the data perspective (such as the Decision miner, …)
  • Plugins for mining less-structured, flexible processes (such as the Fuzzy Miner)
  • Elaborate data visualization plugins (such as the Cloud Chamber Miner)
  • (and many more)

Furthermore, there are analysis plugins dealing with:

  • The verification of process models (e.g., Woflan analysis)
  • Verification of Linear Temporal Logic (LTL) formulas on a log
  • Checking the conformance between a given process model and a log
  • Performance analysis (Basic statistical analysis, and Performance Analysis with a given process model)

Finally, ProM sports a large array of log filters, which are a valuable tool for cleaning logs from undesired, or unimportant, artefacts.