Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming
Data-aware process mining: discovering decisions in processes using alignments