Process Mining: Discovering Direct Successors in Process Logs
The Application of Petri Nets to Workflow Management