ProM is an extensible framework that supports a wide variety of process mining techniques in the form of plug-ins. It is platform independent as it is implemented in Java, and can be downloaded free of charge. The ProM framework receives input logs in the Mining XML (MXML) format.

Currently, there are already more than 230 plug-ins available, and ProM supports the import of (and the conversion between) several process modelling languages, such as:

Petri nets (PNML, TPN)

EPCs / EPKs (Aris graph format, EPML)

YAWL

(and many more)

There are mining (process discovery) 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 supports a large array of log filters, which are a valuable tool for cleaning logs from undesired, or unimportant, artefacts.