As information systems are becoming more and more intertwined with the operational processes they support, multitudes of events are recorded by today’s information systems. The goal of process mining is to use such event data to extract process related information, e.g., to automatically discover a process model by observing events recorded by some system or ...