Skip to main content

Table 1 The t-invariants of the example in Figure 3.

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

No. Involved transitions Minimal? Feasible? Composed of
1. 1, 2 -
2. 3, 5 -
3. 4, 6 - -
4. 1, 2, 4, 6 - 3+1
  1. The t-invariants of the net in Figure 3 after processing them. The middle columns indicate, whether the t-invariants are minimal, i.e., non-processed and whether they are feasible. The right column indicates how the processed invariant was built.