The detection of a loop is actually quite straightforward. A loop is always shown in the initial workflow model as an unrolled chain; see Figure 4c for an example. While this workflow chain is initially “26→37→39→40→39→40”, we could identify the repeated fragments as a loop execution (39→40 in this example).