Abstract: Conformance checking techniques can reveal commonalities and discrepancies between the observed behavior and the modeled behavior, by relating and comparing events in the event log to ...