Aplikace barvených Petriho sítí pro popis řídících a komunikačních funkcí agentů v rámci ABAsim architektury

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools

ISBN

—

ISSN

0105-8517

e-ISSN

—

Počet stran výsledku

16

Strana od-do

—

Název nakladatele

University of Aarhus

Místo vydání

Aarhus

Místo konání akce

Aarhus, Denmark

Datum konání akce

20. 10. 2008

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—