How to model normative behavior in Petri nets