Publication detail
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
JANOUŠEK, V. KOČÍ, R. MAZAL, Z. ZBOŘIL, F.
Original Title
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
English Title
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Type
conference paper
Language
en
Original Abstract
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.
English abstract
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.
Keywords
modelling, BDI agent, Object Oriented Petri Nets
RIV year
2008
Released
01.12.2008
Publisher
IEEE Computer Society
Location
Los Alamitos
ISBN
978-0-7695-3382-7
Book
Proceedings of 8th ISDA
Edition
NEUVEDEN
Edition number
NEUVEDEN
Pages from
420
Pages to
425
Pages count
6
Documents
BibTex
@inproceedings{BUT30726,
author="Vladimír {Janoušek} and Radek {Kočí} and Zdeněk {Mazal} and František {Zbořil}",
title="PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets",
annote="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.",
address="IEEE Computer Society",
booktitle="Proceedings of 8th ISDA",
chapter="30726",
edition="NEUVEDEN",
howpublished="print",
institution="IEEE Computer Society",
year="2008",
month="december",
pages="420--425",
publisher="IEEE Computer Society",
type="conference paper"
}