petrinet updated again