predika : I SetPetri