Add place names and transition names in petrinet_write.