Page 287 -

10.2 ProM 269

Table 10.1 Some of the process mining plug-ins present in ProM 6
Plug-in Description

Alpha miner Discovers a Petri net using the α-algorithm, see Sect. 5.2
Heuristic miner Discovers a C-net using heuristic mining, see Sect. 6.2
Genetic miner Discovers a C-net using genetic mining, see Sect. 6.3
Fuzzy miner Discovers a fuzzy model using fuzzy mining, see Sect. 13.1.3
and [50]
Transition system miner Discovers a transition system based on a state representation
function and a log, see Sect. 6.4.1
Transition system to Petri net Uses state-based regions to create a Petri net based on a transition
system, see Sect. 6.4.2
Declare miner Discovers a Declare model, see Sect. 7.3
ILP miner Discovers a Petri net using language-based regions, see
Sect. 6.4.3
Simple log filter Filtering a log by answering simple questions, see Fig. 12.6(b)
Dotted chart analysis Creates a dotted chart showing all events at a glance, see Sect. 8.2
Trace alignment Similar to dotted chart, but now events are aligned based on their
context rather than time [14]
Guide tree miner Clusters cases in a tree based on similarities [12]
Social network miner Creates a social network based on a selected criterion, see
Fig. 10.6
LTL checker Checks a property expressed in terms of LTL [105]
Fitness Computes fitness of Petri net based on event log
ETConformance Checks conformance by counting “escaping edges” from the
state space of the log to the state space of the model [70]
Replay log on flexible model Conformance checker based on A algorithm [2]; can also be
∗
applied to Petri nets, C-nets and YAWL models
PomPom Automatically abstracts from infrequently visited parts of a Petri
net, see also Sect. 13.1.3 showing the same idea using fuzzy
models
Transition system analyzer Creates a model to predict the remaining flow time, see Sect. 9.4
and [110, 113]

by ProM 5.2 that are not yet available for ProM 6. See, for example, the plug-ins
related to constructing a complete simulation model covering all perspectives, cf.
Sect. 8.6. Other examples are the organizational miners using (amongst others) the
approach of Sect. 8.3.2, and the decision miner using the technique described in
Sect. 8.5. These are some of the 286 plug-ins provided by ProM 5.2 but not yet re-
implemented for ProM 6. New plug-ins will be added to future versions of ProM 6.
For instance, a whole range of new plug-ins based on replay will be added [2]. These
plug-ins will provide improved conformance checking and performance analysis
techniques.
It is impossible to provide a complete overview of the functionality of ProM. The
reader is encouraged to visit www.processmining.org to learn more about ProM’s