Skip to main content
Figure 1 | BMC Bioinformatics

Figure 1

From: Application of Petri net based analysis techniques to signal transduction pathways

Figure 1

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.

Back to article page