Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets

Table 3

Admissible markings for (34).

0	0	0	4
1	0	1	3
2	0	2	2
3	0	3	1
4	0	4	0
5	1	0	3
6	1	1	2
7	1	2	1
8	1	3	0
9	2	0	0