Table 2 T-invariants of the simplified Petri net Psp model
tr 1 | tr 2 | tr 3 | tr 4 | tr 5 | tr 6 | tr 7 | tr 8 | tr 9 | tr 10 |
|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 10 | 0 | 1 |
0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 10 | 0 | 10 | 1 |
0 | 0 | 1 | 10 | 10 | 0 | 0 | 0 | 10 | 1 |
tr 1 | tr 2 | tr 3 | tr 4 | tr 5 | tr 6 | tr 7 | tr 8 | tr 9 | tr 10 |
|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 10 | 0 | 1 |
0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 10 | 0 | 10 | 1 |
0 | 0 | 1 | 10 | 10 | 0 | 0 | 0 | 10 | 1 |