replaying history on process models for conformance checking and performance analysis .
Conformance Checking Using Cost-Based Fitness Analysis