Specification and analysis related to a subclass of coloured Petri net applied within simulation models reflecting transportation systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25530%2F08%3A00007198" target="_blank" >RIV/00216275:25530/08:00007198 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Specifikace a analýza podtřídy barvené Petriho sítě pro aplikace v rámci simulačních modelů dopravních systémů

Original language description

V posledním období byla završena další etapa výzkumu a vývoje původní podtřídy nehierarchické barvené Petriho sítě označované jako ABA-CPN, která je navržena pro aplikace v rámci agentově orientovaných simulačních modelů dopravních systémů. Zmíněný typ sítě je určen zejména k popisu logiky chování agentů, kteří jsou specializováni na řízení odlišných částí simulačních modelů odrážejících provoz dopravních a logistických systémů. ABA-CPN zapouzdřená v rámci jistého agenta představuje acyklickou, strukturálně ohraničenou, ireverzibilní a neživou Petriho síť, jež využívá specifická přípustná počáteční značení odpovídající situaci přijetí zprávy od jiného agenta. Stavový prostor ABA-CPN obsahuje alespoň jedno mrtvé značení, do něhož dospěje evoluce dané sítě po zpracování agentovy vstupní zprávy a potenciálním odeslání všech příslušných zpráv dalším agentům. Každá instance ABA-CPN je nejdříve analyzována prostředky nástroje CPN Tools a následně v rámci původního interpreta tohoto typu sítě

Czech name

Specifikace a analýza podtřídy barvené Petriho sítě pro aplikace v rámci simulačních modelů dopravních systémů

Czech description

V posledním období byla završena další etapa výzkumu a vývoje původní podtřídy nehierarchické barvené Petriho sítě označované jako ABA-CPN, která je navržena pro aplikace v rámci agentově orientovaných simulačních modelů dopravních systémů. Zmíněný typ sítě je určen zejména k popisu logiky chování agentů, kteří jsou specializováni na řízení odlišných částí simulačních modelů odrážejících provoz dopravních a logistických systémů. ABA-CPN zapouzdřená v rámci jistého agenta představuje acyklickou, strukturálně ohraničenou, ireverzibilní a neživou Petriho síť, jež využívá specifická přípustná počáteční značení odpovídající situaci přijetí zprávy od jiného agenta. Stavový prostor ABA-CPN obsahuje alespoň jedno mrtvé značení, do něhož dospěje evoluce dané sítě po zpracování agentovy vstupní zprávy a potenciálním odeslání všech příslušných zpráv dalším agentům. Každá instance ABA-CPN je nejdříve analyzována prostředky nástroje CPN Tools a následně v rámci původního interpreta tohoto typu sítě

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JO - Land transport systems and equipment

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

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

Name of the periodical

Perner´s Contacts

ISSN

1801-674X

e-ISSN

—

Volume of the periodical

3

Issue of the periodical within the volume

5

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

10

Pages from-to

—

UT code for WoS article

—

EID of the result in the Scopus database

—