The relationship between workflow graphs and free-choice workflow nets
Workflow Patterns