“…Finally, we have considered techniques from the process mining field, such as the alpha-algorithm proposed by Van der Aalst et al, the Little Thumb algorithm, InWolve and the suite of algorithms provided by the ProM framework [12,13,14,15,16,17,18,19,20,21,22]. We have found these algorithms to be unsuitable for our goals, as they do not deal with cycles in the data [23].…”