Replaying history on process models for conformance checking and performance analysis