Formalization and synchronization of complex railways station's processes
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25510%2F07%3A00005163" target="_blank" >RIV/00216275:25510/07:00005163 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Formalizace komplexních procesů v rámci železniční stanice a jejich synchronizace
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 a jejich synchronizace
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ů.
Classification
Type
D - Article in proceedings
CEP classification
JO - Land transport systems and equipment
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
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
Sborník příspěvků II. konference s mezinárodní účastí Teorie dopravních systémů 2007
ISBN
978-80-7194-927-5
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
209-215
Publisher name
Univerzita Pardubice
Place of publication
Pardubice
Event location
—
Event date
—
Type of event by nationality
—
UT code for WoS article
—