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



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


Computes fitness of Petri net based on event log


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).