Modeling and verifying multi-agent behaviors using predicate/transition nets

Authors:
Dianxiang Xu;Richard Volz;Thomas Ioerger;John Yen
Affiliations:
Texas A&M University, College Station, TX;Texas A&M University, College Station, TX;Texas A&M University, College Station, TX;The Pennsylvania State University, University Park, PA
Venue:
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Year:
2002

Citing 13
Cited 8

Predicate/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Intention is choice with commitment

Artificial Intelligence
Plans for multiple agents

Distributed Artificial Intelligence (Vol. 2)
A Specifier's Introduction to Formal Methods

Computer
A predicate-transition net model for multiple agent planning

Information Sciences: an International Journal - Special issue on information sciences—past, present, and future
Model checking vs. theorem proving: a manifesto

Artificial intelligence and mathematical theory of computation
Agent-oriented programming

Artificial Intelligence
Collaborative plans for complex group action

Artificial Intelligence
Fast planning through planning graph analysis

Artificial Intelligence
Planned Team Activity

MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Multi-Agent-Systems Based on Coloured Petri Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Framework for Modeling Agent-Oriented Software

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
CAST: collaborative agents for simulating teamwork

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2

A Formal Architectural Model for Logical Agent Mobility

IEEE Transactions on Software Engineering
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

Automated Software Engineering
Information Flow Analysis in Autonomous Agent and Peer-to-Peer Systems for Self-organizing Electronic Health Records

Agents and Peer-to-Peer Computing
Modeling UAS swarm system using conceptual and dynamic architectural modeling concepts

ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Petri Net Plans

Autonomous Agents and Multi-Agent Systems
A formal approach for the modelling and verification of multiagent plans based on model checking and petri nets

Software Engineering for Multi-Agent Systems III
An approach to team programming with markup for operator interaction

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
An approach to team programming with markup for operator interaction

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In a multi-agent system, how agents accomplish a goal task is usually specified by multi-agent plans built from basic actions (e.g. operators) of which the agents are capable. A critical problem with such an approach is how can the designer make sure the plans are reliable. To tackle this problem, this paper presents a formal approach for modeling and analyzing multi-agent behaviors using Predicate/Transition (PrT) nets, a high-level formalism of Petri nets. We construct a multi-agent model by representing agent capabilities as transitions. To verify a multi-agent PrT model, we adapt the planning graphs as a compact structure for the reachability analysis. We also demonstrate that, based on the PrT model, whether parallel actions specified in multi-agent plans can be executed in parallel and whether the plans guarantee the achievement of the goal can be verified by analyzing the dependency relations among the transitions.