Format PetriNetIOImpl