How to Model Normative Behavior in Petri Nets (bibtex)
by Jean-François Raskin, B Namur, Leendert W.N. van der Torre, Yao-hua Tan
Abstract:
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.
Reference:
How to Model Normative Behavior in Petri Nets (Jean-François Raskin, B Namur, Leendert W.N. van der Torre, Yao-hua Tan), In Proceedings of the 2nd Modelage Workshop on Formal Models of Agents, 1996.
Bibtex Entry:
@InProceedings{Raskin1996,
  Title                    = {How to Model Normative Behavior in Petri Nets},
  Author                   = {Jean-Fran{\c c}ois Raskin and B Namur and Leendert W.N. van der Torre and Yao-hua Tan},
  Booktitle                = {Proceedings of the 2nd Modelage Workshop on Formal Models of Agents},
  Year                     = {1996},
  Pages                    = {223--241},

  Abstract                 = {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.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/modelage96.ps.Z}
}
Powered by bibtexbrowser