{Workflow Mining: Discovering Process Models from Event Logs}