Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets

Applying coordination mechanisms to handle interdependencies that exist between agents in multi-agent systems (MASs), is an important issue. In this paper, two levels MAS modeling scheme and a language to describe a MAS plan based on interdependencies between agents' plans are proposed. Initially a generic study of possible interdependencies between agents in MASs is presented, followed by the formal modeling (using Colored Petri Nets) of coordination mechanisms for those dependencies. These mechanisms control the dependencies between agents to avoid unsafe interactions where individual agents' plans are merged into a global multi-agent plan. This separation, managed by the coordination mechanisms, offers more powerful modularity in MASs modeling.

[1]  Tom Holvoet,et al.  Agents and Petri Nets , 1995 .

[2]  Danny Weyns,et al.  A colored Petri net for regional synchronization in situated multiagent systems , 2004 .

[3]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[4]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[5]  Nicholas R. Jennings,et al.  Coordination techniques for distributed artificial intelligence , 1996 .

[6]  Pedro U. Lima,et al.  Petri Net Plans , 2011, Autonomous Agents and Multi-Agent Systems.

[7]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[8]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[9]  W. Keith Edwards,et al.  Policies and roles in collaborative applications , 1996, CSCW '96.

[10]  John Yen,et al.  Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets , 2003, Int. J. Softw. Eng. Knowl. Eng..

[11]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[12]  Paolo Ciancarini,et al.  Coordination models and languages as software integrators , 1996, CSUR.

[13]  Daniel Moldt,et al.  Multi-Agent-Systems Based on Coloured Petri Nets , 1997, ICATPN.

[14]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[15]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[16]  Jaegeol Yim,et al.  A Predicate-Transition Net Model for Multiple Agent Planning , 1991, Inf. Sci..

[17]  Michael P. Georgeff,et al.  Modelling and Design of Multi-Agent Systems , 1997, ATAL.

[18]  Edmund H. Durfee,et al.  Distributed Problem Solving and Planning , 2001, EASSS.

[19]  Pádraig Cunningham,et al.  Software agents: A review , 1997 .

[20]  Les Gasser,et al.  Panel: Methodologies for Multi-Agent Systems , 1997, ATAL.

[21]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[22]  Chihab Hanachi,et al.  Protocol Moderators as Active Middle-Agents in Multi-Agent Systems , 2004, Autonomous Agents and Multi-Agent Systems.