Towards an evaluation framework for process mining algorithms · Study