Formalization of complex railways station's processes by Petri Nets

Result code in IS VaVaI

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

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Formalizace komplexních procesů v rámci železniční stanice pomocí Petriho sítí

Original language description

V příspěvku je na praktickém příkladě předveden formalismus Petriho sítí, jako formalismus pro popis dopravních procesů. Formalismus síťových grafů je v některých konkrétních případech nedostačující, jako např. popis synchronizace více současně běžícíchprocesů. Petriho sítě též disponují metodami formální analýzy, jež umožňují mimo jiné též verifikaci modelu daného procesu. Proto byla snaha ověřit možnost nasazení Petriho sítí také pro popis, modelování a simulaci dopravních procesů.

Czech name

Formalizace komplexních procesů v rámci železniční stanice pomocí Petriho sítí

Czech description

V příspěvku je na praktickém příkladě předveden formalismus Petriho sítí, jako formalismus pro popis dopravních procesů. Formalismus síťových grafů je v některých konkrétních případech nedostačující, jako např. popis synchronizace více současně běžícíchprocesů. Petriho sítě též disponují metodami formální analýzy, jež umožňují mimo jiné též verifikaci modelu daného procesu. Proto byla snaha ověřit možnost nasazení Petriho sítí také pro popis, modelování a simulaci dopravních procesů.

Type

D - Article in proceedings

CEP classification

JO - Land transport systems and equipment

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

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

Article name in the collection

Žel 2007 : Zborník prednášok, 3. diel

ISBN

978-80-8070-682-1

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

28-33

Publisher name

Žilinská univerzita

Place of publication

Žilina

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—