Skip to main content

Table 1 Process mining techniques and terms used in this study

From: Process modeling and bottleneck mining in online peer-review systems

Plug-in Description
Alpha miner Discovers a Petri net using the α-algorithm
Heuristic miner Discovers a C-net using heuristic mining
Fuzzy miner Discovers a fuzzy model using fuzzy mining
Social network miner Creates a social network based on a selected criterion
LTL checker Checks a property expressed in terms of LTL
Fitness Computes fitness of Petri net based on event log
Replying The process of checking, comparing and connecting traces of events in an authentic log with a pre-defined master model
Conformance checker Analyzes the gap between a model and the real data to detect violations
Performance analysis with petri net Uses replaying to retrieve various Key Performance Indicators
  1. Source: (Aalst 2011).