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.