Workflow Pattern - Structured Discriminator (Alternative B)

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 "B").

This is only one out of various possibilities to model this workflow pattern. Notice the alternative representation of this pattern at http://www.myexperiment.org/workflows/615