för S : tPetri