Alignment Based Precision Checking
replaying history on process models for conformance checking and performance analysis .