Process Discovery using Integer Linear Programming
Verification of Workflow Nets