Figure 1
From: Application of Petri net based analysis techniques to signal transduction pathways
Two conjunction subnets. Two subnets representing conjunction-coupled implications, i.e., A ⇒ (B ∧ C) and (D ∧ E) ⇒ F, respectively. If there is a token on place A, the precondition A is fulfilled, and the corresponding posttransition may fire. This event will fulfil the postconditions B and C getting each a token. If there is a token on the places D and E, the preconditions D and E are fulfilled, and the corresponding posttransition may fire. This event will fulfil the postcondition F getting a token.