Compatibility checking (2)

Imagine the following BPMN choreography:


a) Translate the two participant behavior descpriptions into workflow modules. You can use the mapping from BPMN to Petri nets from here.

b) Are the two participant behavior descriptions compatible?

c) What modifications could be applied to make them compatible?










More information on compatibility checking can be found in the book in chapter 5.3.

 
Prof. Dr. Mathias Weske Prof. Dr. Mathias Weske
Business Process Technology
Hasso-Plattner-Institute
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Phone: +49 (0) 331-5509-180
Fax: +49 (0) 331-5509-189