This workflow is an alternative GWorkflowDL representation of a structured 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. The pattern is resets if both, A and B have been invoked. Please note that the transitions "C", "ignore", and "release" have different priorities (not shown in the graph) that make the net deterministic (except the occurrence of "A" and &q...