Towards and evaluation framework for process mining algorithms door A. Rozinat