Application of Petri net based analysis techniques to signal transduction pathways

BMC Bioinformatics

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

No.	Involved transitions	Minimal?	Feasible?	Composed of
1.	1, 2	√	√	-
2.	3, 5	√	√	-
3.	4, 6	√	-	-
4.	1, 2, 4, 6	-	√	3+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.

ISSN: 1471-2105