fix PetriFactoryInterface