ISSN : 1796-203X
Volume : 4    Issue : 10    Date : October 2009

Modeling and Analysis of Multi-agent Systems using Petri Nets
Jose R. Celaya, Alan A. Desrochers, and Robert J. Graves
Page(s): 981-996
Full Text:
PDF (1,606 KB)

The development of theoretical-based methods for the assessment of multi-agent systems
properties is of critical importance. This work investigates methodologies for modeling, analysis
and design of multi-agent systems. Multi-agent systems are regarded as discrete-event dynamic
systems and Petri nets are used as a modeling tool to assess the structural properties of the
multi-agent system. Our methodology consists of defining a simple multi-agent system based on
the abstract architecture for intelligent agents. The abstract architecture is modeled using Petri nets
and structural analysis of the net provides an assessment of the interaction properties of the
multi-agent system. Deadlock avoidance in the multi-agent system is considered and it is evaluated
using liveness and boundedness properties of the Petri net model.

Index Terms
Petri nets, multi-agent systems, deadlock