1.(pattern implementation) Figures 8.5 and 8.6 feature two YAWL specifications illustrating the multi choice (OR-split) and the synchonizing merge (OR-join) patterns. Translate these YAWL...

1.(pattern implementation) Figures 8.5 and 8.6 feature two YAWL specifications illustrating the multi choice (OR-split) and the synchonizing merge (OR-join) patterns. Translate these YAWL specifications into classical Petri nets (see Chapter 7). In other words, expand the YAWL OR-split and OR-join constructs in terms of places and transitions (possibly labeled with empty tasks). 2. The language in question supports “break” statements, allowing one to exit a “while” loop in the middle of its body, as in contemporary imperative programming languages such as C and Java.