minimal semipositive place invariants=
1	|	1.PhoB		:1,
	|	0.PhoB-P		:1
2	|	2.PhoR		:1,
	|	3.PhoR-P		:1
3	|	4.PhoU_active		:1,
	|	5.PhoU_inactive		:1
4	|	6.PstSCAB		:1,
	|	7.PstSCAB-P		:1
5	|	15.switch_off		:1,
	|	14.switch_on		:1