Comments on application of coloured Petri net within ABAsim architecture of simulation models

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25510%2F07%3A00005027" target="_blank" >RIV/00216275:25510/07:00005027 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Comments on Application of Coloured Petri Net within ABAsim Architecture of Simulation Models

Popis výsledku v původním jazyce

Petri nets represent a convenient formalism for utilisation within agent-based architectures of simulation models exploiting message-oriented communication paradigm. Petri nets can describe the logic of internal agent components. The mentioned approach supports higher flexibility of simulation models as well as formal analysis related to relevant parts of those models. ABAsim architecture (as an example) already utilizes P/T Petri nets for description of internal components of agents, whereas the current research pays attention to the application of non-hierarchical coloured Petri nets for the same purpose because of higher modelling capabilities of that kind of Petri nets.

Název v anglickém jazyce

Comments on Application of Coloured Petri Net within ABAsim Architecture of Simulation Models

Popis výsledku anglicky

Petri nets represent a convenient formalism for utilisation within agent-based architectures of simulation models exploiting message-oriented communication paradigm. Petri nets can describe the logic of internal agent components. The mentioned approach supports higher flexibility of simulation models as well as formal analysis related to relevant parts of those models. ABAsim architecture (as an example) already utilizes P/T Petri nets for description of internal components of agents, whereas the current research pays attention to the application of non-hierarchical coloured Petri nets for the same purpose because of higher modelling capabilities of that kind of Petri nets.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/1P05ME727" target="_blank" >1P05ME727: Simulační modely osobní železniční stanice</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

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

Proceedings of 41st Spring International Conference on Modelling and Simulation of Systems (MOSIS 2007)

ISBN

978-80-86840-30-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

85-92

Název nakladatele

MARQ

Místo vydání

Ostrava

Místo konání akce

—

Datum konání akce

—

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

—

Kód UT WoS článku

—