How to model normative behavior in Petri nets

In this paper, we show how to extend the Petri net formalism to represent different types of behavior, in particular normative behavior. This extension is motivated by the use of Petri nets to model bureaucratic procedures, which contain normative aspects like obligations and permissions. We propose to extend Petri nets with a preference relation, a well-known mechanism from deontic logic to discriminate between ideal and varying sub-ideal states

Why Defeasible Deontic Logic needs a Multi Preference Semantics

There is a fundamental difference between a conditional obligation being violated by a fact, and a conditional obligation being overridden by another conditional obligation. In this paper we analyze this difference in the multi preference semantics of our defeasible deontic logic DEFDIODE. The semantics contains one preference relation for ideality, which can be used to formalize deontic paradoxes like the Chisholm and Forrester paradoxes, and another preference relation for normality, which can be used to formalize exceptions. The interference of the two preference orderings generates new questions about preferential semantics