About: PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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 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. <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. 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. <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. (en)
Title	PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets (en)
skos:prefLabel	PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets (en)
skos:notation	RIV/00216305:26230/08:PU78074!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/07/0322), P(GP102/07/P306), P(GP102/07/P431), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Zbořil, František Kočí, Radek Mazal, Zdeněk Janoušek, Vladimír
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	386895
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU78074
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	modelling, BDI agent, Object Oriented Petri Nets<br> (en)
http://linked.open.../riv/klicoveSlovo	modelling BDI agent Object Oriented Petri Nets<br>
http://linked.open...ontrolniKodProRIV	[7C02D8D2A274]
http://linked.open...v/mistoKonaniAkce	Kaohsiung City
http://linked.open...i/riv/mistoVydani	Los Alamitos
http://linked.open...i/riv/nazevZdroje	Proceedings of 8th ISDA
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Advanced Formal Approaches in the Design and Verification of Computer-Based Systems Model Based System Development Intelligent Agent and Multi-agent systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Kočí, Radek Zbořil, František Janoušek, Vladimír Mazal, Zdeněk
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2008-11-26 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IEEE Computer Society
https://schema.org/isbn	978-0-7695-3382-7
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software