Article

Organizational Petri Nets for protocol design and enactment

Authors:

Stéphanie Combettes,

Chihab Hanachi,

Christophe Sibertin-BlancAuthors Info & Claims

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

Pages 1384 - 1386

https://doi.org/10.1145/1160633.1160892

Published: 08 May 2006 Publication History

Get Access

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.

References

[1]

Cost R. S., Chen Y., Finin T., Labrou Y., Peng Y., Modeling Agent Conversations with Colored Petri Nets. Workshop on Specifying and Implementing Conversation Policies, Seattle, 1999, pp. 59--66.

Google Scholar

[2]

Hanachi C., Sibertin-Blanc C., Protocol Moderators as active Middle-Agents in Multi-Agent Systems. Journal of AAMAS, 8, 131--164, 2004.

Digital Library

Google Scholar

[3]

Mazouzi H., EL Fallah-Seghrouchni A., Haddad S., Open Protocol Design for complex Interactions in Multi-agent Systems. First International Joint Conference on AAMAS, Italy, 2002.

Digital Library

Google Scholar

[4]

Raskin J. F., Tan Y. H. and van der Torre L. W. N. Modeling Deontic States in Petri Nets. Seventh Dutch AI Conference (NAIC-95), the Netherlands, 1995.

Google Scholar

[5]

Sibertin-Blanc C. High Level Petri Nets with Data Structure. 6th European Workshop on Application and Theory of Petri Nets, p141 - 170, 1985.

Google Scholar

[6]

Sibertin-Blanc C. A functional semantics of Petri Nets with Objects. IRIT Report, University of Toulouse 1, 1992.

Google Scholar

[7]

Sturm A., Shehory O. A Framework for Evaluating Agent-Oriented Methodologies. Agent Oriented Information System Workshop, 2003: 94--109.

Google Scholar

Cited By

View all

Hjelmblom M(2014)Instrumentalization of Norm-regulated Transition System SituationsAgents and Artificial Intelligence10.1007/978-3-662-44440-5_5(80-94)Online publication date: 31-Oct-2014
https://doi.org/10.1007/978-3-662-44440-5_5
Combettes S(2009)Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets FormalismProceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications10.1007/978-3-642-01665-3_59(589-598)Online publication date: 30-May-2009
https://dl.acm.org/doi/10.1007/978-3-642-01665-3_59

Index Terms

Organizational Petri Nets for protocol design and enactment
1. Software and its engineering
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Petri nets for protocol engineering

This paper presents a review of the role Petri nets play in protocol engineering. This methodology provides various models for specification and many methods for verification and other software engineering tasks concerning protocols. In particular, many ...
Complete Process Semantics of Petri Nets

In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the habilitation thesis [15]. The aim states that causality semantics ...
A survey of siphons in Petri nets

Petri nets have gained increasing usage and acceptance as a basic model of asynchronous concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a critical role in the analysis and control of systems modeled with Petri ...

Comments

Information & Contributors

Information

Published In

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

May 2006

1631 pages

ISBN:1595933034

DOI:10.1145/1160633

General Chairs:
Hideyuki Nakashima
Future University - Hakodate, Japan
,
Michael Wellman
University of Michigan
,
Program Chairs:
Gerhard Weiss
Technical University Munich, Germany
,
Peter Stone
The University of Texas at Austin

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AAMAS06

Sponsor:

IFMAS
SIGAI
ATAL

AAMAS06: AAMAS '06 - 5th International Joint Conference on Autonomous Agents and Multi-agent Systems 2006

May 8 - 12, 2006

Japan, Hakodate

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
259
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hjelmblom M(2014)Instrumentalization of Norm-regulated Transition System SituationsAgents and Artificial Intelligence10.1007/978-3-662-44440-5_5(80-94)Online publication date: 31-Oct-2014
https://doi.org/10.1007/978-3-662-44440-5_5
Combettes S(2009)Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets FormalismProceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications10.1007/978-3-642-01665-3_59(589-598)Online publication date: 30-May-2009
https://dl.acm.org/doi/10.1007/978-3-642-01665-3_59

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Petri nets for protocol engineering

Complete Process Semantics of Petri Nets

A survey of siphons in Petri nets

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations