Process Mining: Overview and Opportunities
Modeling Business Processes: A Petri Net-Oriented Approach