S : ( PetriOrdens