Two disjunction subnets. Two subnets representing disjunction-coupled implications, i.e., G ⇒ (H ∨ I) and (J ∨ K) ⇒ L, respectively. While the subnet on the left hand side stands for an exclusive disjunction, the right-hand subnet represents an inclusive disjunction. The two posttransitions of place G are in conflict, i.e., if there is one token on place G, both its posttransitions may fire, but only one of them can actually fire. This subnet represents an exclusive disjunction. In contrast to that, the pretransitions of place L are concurrent and can fire independently from each other, if one token is in each of the places J and K. With this subnet an inclusive disjunction is represented.