Transition Systems Reduction: Balancing between Precision and Simplicity
Process Mining: Discovery, Conformance and Enhancement of Business Processes