S : t PetriBref