Compatibility checking
Below you find three workflow modules P1, P2, P3 with communication places a, b, c, d.
a) Show that these Petri nets are incompatible according to the approach presented in chapter 6.3.
b) Discuss the incompatibility issue of these Petri nets. Are the process definitions really invalid? What is the main problem?
More information on compatibility checking can be found in the book in chapter 6.3.