AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Theory of Modeling and Simulation
Theory of Modeling and Simulation
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling
EUROCAST '97 Proceedings of the A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Journal of Intelligent and Robotic Systems
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Hi-index | 0.00 |
Petri nets have proven to be a valuable tool for modelling concurrent systems. As such, they should be suitable for modelling agent and multi-agent systems, as these are inherently concurrent. Nevertheless, there are not many systems that allow the modelling of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to subproblems such as the verification of interaction protocols. This paper describes the main concepts of PNagent – a tool for modelling Believe-Desire-Intention (BDI) agents using the formalism of Object-Oriented Petri Nets (OOPN). PNagent allows for developing, testing and running software agents in a consistent graphical environment. The framework is suitable for prototyping and experiments with both multi-agent applications and the particular agent architecture itself. At the same time, thanks to the formal nature of its underlying paradigm, it provides the means to verify an agent's properties. Thanks to its consistent environment and the high-level nature of the used formalism, the framework is also suitable for incorporating the ideas of autonomic computing.