Transition Systems Reduction: Balancing between Precision and Simplicity
ProM 6: The Process Mining Toolkit