Inductive miner
Inductive miner belongs to a class of algorithms used in process discovery.
[1] Various algorithms proposed previously give process models of slightly different type from the same input.
The quality of the output model depends on the soundness of the model.
A number of techniques such as alpha miner, genetic miner, work on the basis of converting an event log into a workflow model, however, they do not produce models that are sound all the time.
Inductive miner relies on building a directly follows graph from event log and using this graph to detect various process relations.
[2] A directly follows graph is a directed graph that connects an activity A to another activity B if and only if activity B occurs chronologically right after activity A for any given case in the respective event log.
A directly follows graph is represented mathematically by:
(
∪ { ▸ , ◼ } ,
e
)
o d e s
(activities in the log)
virtual start node
virtual end node
{\displaystyle A_{L}=Nodes{\text{(activities in the log)}},\blacktriangleright ={\text{virtual start node}},\blacksquare ={\text{virtual end node}}}
→
(directly follows relation) If some activity a is ever the first activity, then
.
Similarly, if some activity a is ever the last activity, then
( a , ◼ ) ∈
{\displaystyle A_{L}^{s}=\{a\in A_{L}\ |\ (\blacktriangleright ,a)\in \rightarrow _{L}\}}
the set of all "starting nodes"
the set of all "ending nodes" The inductive miner technique relies on the detection of various cuts on the directly follows graph created using the event log.
The core idea behind inductive miner lies in the unique methodology of discovering various divisions of the arcs in the directly follows graph, and using the smaller components after division to represent the execution sequence of the activities.
The inductive miner algorithm uses the directly follows graph to detect one of the following cuts.
is an exclusive OR cut iff:
is a sequence cut iff:
is a parallel cut iff: -
is a redo loop cut iff: -
