Best practices in business process redesign: use and impact
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques