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, an...