Confusion Analysis and Detection for Workflow Nets

Figure 1

(a) A subnet system, (b) the subnet system obtained by firing the transition 𝑡₁ in Figure 1(a), (c) the subnet system obtained by firing the transition 𝑡₂ in Figure 1(a), and (d) the subnet system obtained by concurrently firing the transitions 𝑡₁ and 𝑡₂ in Figure 1(a).