Evaluating Conformance Measures in Process Mining Using Conformance Propositions · Study