Petrinet synthesis tool