Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets