Process Mining: Overview and Outlook of Petri Net Discovery Algorithms · Study