achieving a general , formal and decidable approach to the or-join in workflow using reset nets
mt wynn , d edmond , wmp van der aalst , ahm ter
proc . of 26th int . conf . on applications and theory of petri & hellip ; ,