minimal semipositive place invariants= 1 | 13.O2 :1 2 | 5.S18 :1, | 6.S17 :1 3 | 3.S13 :1, | 7.S12 :1, | 9.S15 :1 4 | 0.S7 :1, | 11.S6 :1, | 12.S22 :1 5 | 0.S7 :1, | 1.S5 :1, | 8.S4 :1, | 9.S15 :1, | 10.S16 :1, | 12.S22 :1