Workflow nets and condition event nets
Consider the following place/transition net:
a) Explain why the Petri net shown above is a workflow net.
b) Would the execution semantics change if the net was interpreted as condition event net?
More information on workflow nets and condition event nets can be found in the book in chapters 4.4 and 4.2, respectively.