Fix petrinet bug