petri net transformations for business processes - a survey .
Workflow ControlFlow Patterns: A Revised View