Figure 3: Execution of process mining.