S ; t PetriBref