petrinet updated with all the launch files