Importance

Loading Importance Indicators...

Abstract

A process model can be modified to be more precise by unrolling loops of the process model and evaluating or using the process model with the loops unrolled. After determining loops in a process model, sequential forward path executions of each loop identified in an input process model are counted within each trace of an event log. For each loop, a greatest common divisor (gcd) of the sequential forward path execution counts is determined. An intermediate process model is then created with the loops unrolled according to the respective gcd(s). The event log is then (re)played with the intermediate process model to identify traversed elements of the process model. Elements of the intermediate process model that were not traversed are removed to yield a more precise process model.

Loading the Abstract Image...

First Claim