Conference paper

JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk and ZBOŘIL František. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. In: Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008, pp. 420-425. ISBN 978-0-7695-3382-7.
Publication language:english
Original title:PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Title (cs):PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Pages:420-425
Proceedings:Proceedings of 8th ISDA
Conference:Intelligent Systems Design and Applications Conference
Place:Los Alamitos, US
Year:2008
ISBN:978-0-7695-3382-7
Publisher:IEEE Computer Society
Keywords
modelling, BDI agent, Object Oriented Petri Nets
Annotation
Petri nets have proven to be a valuable tool for modelling concurent 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, thank to the formal nature of its underlying paradigm, it provides means for verification of agent's properties.
BibTeX:
@INPROCEEDINGS{
   author = {Vladim{\'{i}}r Janou{\v{s}}ek and Radek Ko{\v{c}}{\'{i}} and
	Zden{\v{e}}k Mazal and Franti{\v{s}}ek Zbo{\v{r}}il},
   title = {PNagent: a Framework for Modelling BDI Agents using Object
	Oriented Petri Nets},
   pages = {420--425},
   booktitle = {Proceedings of 8th ISDA},
   year = {2008},
   location = {Los Alamitos, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-3382-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8811}
}

Your IPv4 address: 54.161.3.96
Switch to IPv6 connection

DNSSEC [dnssec]