Heuristic mining revamped : an interactive, data-aware, and conformance-aware miner · Study