Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets

Figure 1

(a) A compatible SIWF-net; (b) an incompatible SIWF-net; and ((c)-(d)) two sound acyclic FCWF-nets.

(a)

(b)

(c)

(d)