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

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

Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
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.
Keywords: Application software,BDI agents,BDI architecture,Computer architecture,Multiagent systems,Object oriented modeling,PNagent,Petri nets,Protocols,Prototypes,Software agents,Software prototyping
2008 8th International Conference on Intelligent Systems Design and Applications (ISDA 2008), 2008
@inproceedings{pnagent-isda2008,
	Author = {Mazal, Zden\v{e}k and Ko\v{c}\'{\i}, Radek and Janou\v{s}ek, Vladim\'{\i}r and Zbo\v{r}il, Franti\v{s}ek},
	Booktitle = {2008 8th International Conference on Intelligent Systems Design and Applications (ISDA 2008)},
	Doi = {10.1109/ISDA.2008.16},
	Isbn = {978-0-7695-3382-7},
	Keywords = {Application software,BDI agents,BDI architecture,Computer architecture,Multiagent systems,Object oriented modeling,PNagent,Petri nets,Protocols,Prototypes,Software agents,Software prototyping,Software testing,belief-desire-intention agent,concurrent systems,modelling,multi-agent systems,multiagent system,object oriented Petri nets,object-oriented methods},
	Month = nov,
	Pages = {420--425},
	Publisher = {IEEE},
	Title = {{PNagent}: A Framework for Modelling {BDI} Agents Using Object Oriented {P}etri Nets},
	Url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4696369},
	Volume = 2,
	Year = 2008}