Confusion Analysis and Detection for Workflow Nets

Figure 3

(a) A structural conflict 𝐾=⟨𝑝₂,{𝑡₁−𝑡₄}⟩, (b) an effective conflict 𝐾^𝑀=⟨𝑝₂,{𝑡₂−𝑡₄},𝑝₂+𝑝₃⟩, and (c) illustration of concurrency.

(a)

(b)

(c)