add PetriNet Padding