Consider the following extract from a YAWL model:
a) Describe the execution semantics of the OR-join. What is the fundamental difference to other joins such as XOR-join, AND-join, discriminator and m-out-of-n-join?
b) Which execution order of the activities are allowed for the model given above (i.e. which traces are allowed)?