Efficient edge filtering of directly-follows graphs for process mining · Study