Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25530%2F08%3A00007193" target="_blank" >RIV/00216275:25530/08:00007193 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture
Original language description
Petri nets represent a convenient formalism for description of the operational logic of internal agent components within agent-based architectures of simulation models using message-oriented communication paradigm. The approach supports higher flexibility of simulation models as well as formal analysis related to relevant parts of the models. The ABAsim architecture (as an example) already utilizes place/transition Petri nets for description of internal components of agents. Presented modified approachpays attention to an application of non-hierarchical coloured Petri nets (describing behavioural rules of autonomous agents) instead of place/transition ones because of higher modelling capabilities.
Czech name
Aplikace barvených Petriho sítí pro popis řídících a komunikačních funkcí agentů v rámci ABAsim architektury
Czech description
Petriho sítě poskytují vhodný formalismus pro popis řídící a komunikační logiky interních komponentů agentů v rámci agentově orientovaných architektur simulačních modelů využívajících paradigma zasílání zpráv. Zmíněná forma popisu přispívá k vysoké flexibilitě simulačních modelů, jakož i k možnosti provádět formální analýzu vybraných komponentů těchto modelů. ABAsim architektura simulačních modelů (jako příklad agentové architektury) až dosud využívala P/T Petriho sítě pro popis interních komponentů agentů. Představený modifikovaný přístup se věnuje aplikaci nehierarchické barvené Petriho sítě (určené k popisu pravidel chování autonomních agentů) místo P/T Petriho sítě z důvodu uplatnění vyšších modelovacích možností.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
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
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
ISBN
—
ISSN
0105-8517
e-ISSN
—
Number of pages
16
Pages from-to
—
Publisher name
University of Aarhus
Place of publication
Aarhus
Event location
Aarhus, Denmark
Event date
Oct 20, 2008
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—