renaming PetriBox