Organizational Petri Nets for protocol design and enactment

  • Authors:
  • Stéphanie Combettes;Chihab Hanachi;Christophe Sibertin-Blanc

  • Affiliations:
  • University Toulouse, Toulouse, France;IRIT - University Toulouse, Toulouse, France;IRIT - University Toulouse, Toulouse, France

  • Venue:
  • AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

To integrate protocols in real organizations, we need to take into account three complementary dimensions: the protocols behavior, the structure and deontic aspects of the organization being considered and its informational model. Basic Petri Nets (PN) are known to deal suitably with the behavioral aspect while some high level extensions are intended to take into account one of the additional dimensions. This paper proposes a formalism called Organizational Petri nets to capture these three dimensions in a coherent framework. We give the definition of this new formalism, precise its semantics and illustrate its use through an example.