Application of Petri net based analysis techniques to signal transduction pathways

BMC Bioinformatics

Table 6 The t-invariants.

No.	Involved transitions		Minimal?	Feasible?	Composed of
	MCT-sets	single transitions
1.	1	5, 6	√	√	-
2.	1, 7	-	√	√	-
3.	3	37, 38	√	-	-
4.	3	38, 39	√	-	-
5.	3, 4	43	√	-	-
6.	3	40, 41	√	-	-
7.	1, 3, 4, 5	5, 32, 40, 42	√	√	-
8.	1, 2, 3, 4, 5	5, 40, 42	√	√	-
9.	1, 3, 4, 5, 6	5, 32	√	√	-
10.	1, 2, 3, 4, 5, 6	5	√	√	-
11.	1, 3	5, 6, 37, 38	-	√	3 + 1
12.	1, 3	5, 6, 38, 39	-	√	4 + 1
13.	1, 3, 4	5, 6, 43	-	√	5 + 1
14.	1, 3	5, 6, 40, 41	-	√	6 + 1

The t-invariants of the net after their processing. The middle columns show, whether the invariants are minimal and/or feasible. The right column indicates how the processed invariants were built.

ISSN: 1471-2105