Comp150CPA: Clouds and Power-Aware Computing
Classroom Exercise 16
BPMN and Petri nets
Spring 2011

group member 1: ____________________________ login: ______________

group member 2: ____________________________ login: ______________

group member 3: ____________________________ login: ______________

group member 4: ____________________________ login: ______________

group member 5: ____________________________ login: ______________

In class we described the links between BPMN and Petri nets.

1. Consider the BPMN diagram:
   
   Construct an equivalent Petri net for this process.
   
2. Show the first four steps of Petri net computation by annotating the drawings below.
   
   
   
   
   

   group member 1: _____________________ login: ___________

   group member 2: _____________________ login: ___________

   group member 3: _____________________ login: ___________

   group member 4: _____________________ login: ___________

   group member 5: _____________________ login: ___________

3. Find the errors and ambiguities in the following BPMN diagram.
   
   
   
   
   
   
   
   
   
   
   
   
   
4. (Advanced) Give examples where non-deterministic ordering of message delivery (as specified in an ambiguous BPMN diagram) is advantageous.