Intention Structures Modelling Using Object Oriented Petri Nets

Author

Zboril, F. ; Koci, Radek

Author_Institution

Brno Univ. of Technol., Brno

fYear

2007

fDate

20-24 Oct. 2007

Firstpage

33

Lastpage

38

Abstract

This paper describes an approach to the object- oriented Petri nets usage in the area of intention-based systems. We would like to contribute in the field of intention based system with a formal model approach that would bring new capabilities of simulation, analysis and verification to the area of intelligent agents and multiagent systems. It is described here how intention structures could be made if they are built as a dynamic object-oriented Petri nets model and how execution of the agent´s intention is performed in such models.

Keywords

Petri nets; formal verification; multi-agent systems; object-oriented programming; formal model; intelligent agents; intention structures modelling; intention-based system; multiagent system; object-oriented Petri nets; system analysis; system simulation; system verification; Analytical models; Information technology; Intelligent agent; Intelligent structures; Intelligent systems; Multiagent systems; Object oriented modeling; Performance analysis; Petri nets; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Systems Design and Applications, 2007. ISDA 2007. Seventh International Conference on

Conference_Location

Rio de Janeiro

Print_ISBN

978-0-7695-2976-9

Type

conf

DOI

10.1109/ISDA.2007.97

Filename

4389582