Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Mazal, Z. ; Fac. of Inf. Technol., Brno Univ. of Technol., Brno ; Koci, R. ; Janousek, V. ; Zboril, F.

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 modelling of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to sub-problems, such as verification of interaction protocols. This paper describes the main concepts of PNagent - a tool for modelling BDI agents using the formalism of object oriented Petri nets (OOPN). PNagent allows development, 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 means for verification of agentpsilas properties.

Published in:

Intelligent Systems Design and Applications, 2008. ISDA '08. Eighth International Conference on  (Volume:2 )

Date of Conference:

26-28 Nov. 2008