Process Equivalence: Comparing Two Process Models Based on Observed Behavior
Workflow mining: discovering process models from event logs