Workflow Pattern - Blocking Discriminator (1-out-of-M Join)

This workflow is a GWorkflowDL representation of a blocking discriminator (1-out-of-M Join) that invokes C after the first invocation of A or B (M=2). All next (M-1) invocations of A or B are ignored and the AND transition is blocked. The pattern is resets if both, A and B have been invoked. Then the next token on "begin" can be processed.

Please note that the transitions "C", "ignore", and "release" have different priorities (represented by p0, p1, and p2) that make the net deterministic (except the occurrence of "A" and "B").