Transition Systems Reduction: Balancing between Precision and Simplicity
A Region-Based Algorithm for Discovering Petri Nets from Event Logs