Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming
Conformance Checking Using Cost-Based Fitness Analysis