Process Discovery using Integer Linear Programming
Workflow mining: A survey of issues and approaches