Business process mining: An industrial application
Mining Process Models from Workflow Logs