PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU78074" target="_blank" >RIV/00216305:26230/08:PU78074 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Original language description
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 ofthe whole multi-agent system in Petri nets. The use of Petri nets is usually limited to sub-problems, such as verification of interaction protocols. <br>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.
Czech name
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Czech description
Petriho sítě jsou vhodným modelovacím prostředkem pro paralelní systémy, tedy i pro agentní a multi-agentní systémy. V současné době není mnoho systémů umožňujících modelování celých multi-agentních systémů pomocí Petriho sítí. Článek popisuje koncepty systému PNagent, což je nástroj pro modelování BDI agentů formalismem Objektově orientované Petriho sítě (OOPN). PNagent umožňuje vyvíjet, testovat a interpretovat softwarové agenty v konzistentním grafickém prostředí.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 8th ISDA
ISBN
978-0-7695-3382-7
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos
Event location
Kaohsiung City
Event date
Nov 26, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—