A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Figure 3

Open nets. (a) Open net N₁ corresponding to Reta. (b) Open net N₂ corresponding to Supp.