Data Flow and Validation in Workflow Modelling
Verification of Workflow Nets