minimal semipositive place invariants=

1	|	0.signal		:1