Eindhoven University of Technology
In this paper, the authors describe the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Process mining techniques attempt to extract non-trivial and useful information from so-called \"Event logs\". One element of process mining is control-flow discovery, i.e., automatically constructing a process model (e.g., a petri net) describing the causal dependencies between activities. Control-flow discovery is an interesting and practically relevant challenge for petri-net researchers and ProM provides an excellent platform for this.