A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Table 1

Labels of N₁ and N₂.

Transition	Label
t1	Send order A
t2	Send order B
t3	Receive product
t4	Check stock
t5	Receive B-order
t6	Receive A-order
t8	Send product