An empirical evaluation of unsupervised event log abstraction techniques in process mining · Study