add PetriBox