Verification of Workflow Nets