Result Details

Modeling Deliberative Agents Using Object Oriented Petri Nets

KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F.; JANOUŠEK, V. Modeling Deliberative Agents Using Object Oriented Petri Nets. Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. p. 15-20. ISBN: 0-7695-2976-3.
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D., DITS (FIT)
Mazal Zdeněk, Ing., Ph.D., DITS (FIT)
Zbořil František, doc. Ing., Ph.D., DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Abstract

Multi-agent systems are one of the prospect approaches to simplification of complex system development. They introduce a natural abstraction layer on top of autonomous actors. Since multi-agent systems are strongly parallel the appropriate paradigms or tools have to be used. This article will demonstrate the application of our developed kind of high-level Petri nets to the deliberative agent modeling and simulation. This formalism is called Object Oriented Petri Nets (OOPN). It introduces a powerful means for description of concurrency and a high level of system dynamism. Moreover, OOPNs are a part of a framework intended for simulation based design featuring model continuity. It means that a model developed incrementally in a simulated environment can become a part of target applications.

Keywords

Deliberative Agents, Modeling, OOPN

Published
2007
Pages
15–20
Proceedings
Proceedings of the 7th ISDA
Conference
7th International Conference on Intelligent Systems Design and Applications
ISBN
0-7695-2976-3
Publisher
IEEE Computer Society
Place
Los Alamitos
BibTeX
@inproceedings{BUT26112,
  author="Radek {Kočí} and Zdeněk {Mazal} and František {Zbořil} and Vladimír {Janoušek}",
  title="Modeling Deliberative Agents Using Object Oriented Petri Nets",
  booktitle="Proceedings of the 7th ISDA",
  year="2007",
  pages="15--20",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="0-7695-2976-3"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Intellligent Agent and Multi-agent Systems, GACR, Postdoktorandské granty, GP102/07/P431, start: 2007-01-01, end: 2009-12-31, completed
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments
Back to top