Journal ArticleDOI
Modeling and analysis of multi-agent systems using petri nets
Jose R. Celaya,A.A. Desrochers,Robert J. Graves +2 more
- Vol. 4, Iss: 10, pp 981-996
Reads0
Chats0
TLDR
In this paper, the abstract architecture for intelligent agents is modeled as a discrete-event system using Petri nets and structural analysis of the net provides an assessment of the communication and coordination properties of the multi-agent system.Abstract:
The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work is a preliminary investigation on 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 as a discrete-event system using Petri nets and structural analysis of the net provides an assessment of the communication and coordination properties of the multi-agent system. Deadlock avoidance in the multi-agent system is considered as an initial key property, and it is evaluated using liveness and boundedness properties of the Petri net model.read more
Citations
More filters
Journal ArticleDOI
Petri Net Plans
TL;DR: Petri Net Plans (PNPs) as mentioned in this paper is a language based on Petri Nets (PNs) that allows for intuitive and effective robot and multi-robot behavior design.
Journal ArticleDOI
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
TL;DR: This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics and identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verify of autonomous robotics.
Journal ArticleDOI
Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems
TL;DR: This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchronized Petri Net), which borrows the specification of dynamic processes from Recursive Petri net and introduces several valuable concepts that enable concise multi agent system specifications.
Journal ArticleDOI
Petri Net: A Tool for Modeling and Analyze Multi-agent Oriented Systems
TL;DR: This paper discussed about methodologies for modeling, analysis and design of multi-agent oriented system with the help of Petri net, which provides an assessment of the interaction properties of the multiagent.
References
More filters
Book
Artificial Intelligence: A Modern Approach
Stuart Russell,Peter Norvig +1 more
TL;DR: In this article, the authors present a comprehensive introduction to the theory and practice of artificial intelligence for modern applications, including game playing, planning and acting, and reinforcement learning with neural networks.
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Book
An Introduction to MultiAgent Systems
TL;DR: A multi-agent system is a distributed computing system with autonomous interacting intelligent agents that coordinate their actions so as to achieve its goal(s) jointly or competitively.
Book
Multiagent Systems : A Modern Approach to Distributed Artificial Intelligence
TL;DR: This is the first comprehensive introduction to multiagent systems and contemporary distributed artificial intelligence and will be a useful reference not only for computer scientists and engineers, but for social scientists and management and organization scientists as well.