Reduction rules for YAWL workflows with cancellation regions and OR-joins

Reduction rules for YAWL workflows with cancellation regions and OR-joins