Hlavním cílem této bakalářské práce je zhotovení simulačního modelu vlakové stanice, navázání na konkrétní stanici, a nasimulování reálných dopravních situací. Tento simulační model bude vytvořen v programu CPN Tools pomocí barvených Petriho sítí. Také pak seznámení čtenáře s tímto simulačním modelem, prací v softwaru CPN Tools, a uvedení do teorie Petriho barvených sítí.
Anotace v angličtině
The main goal of this bechelor thesis is to design a simulation model of train station, establish a simulation of the specific station and to simulate real traffic events. This simulation model will be created in software called CPN Tools with help of coloured Petri nets. Also, the thesis will familiarizate the reader with mentioned simulation model, working in CPN Tools software and the theory of Petri nets.
Klíčová slova
Petriho barvené sítě, CPN Tools, simulace, železniční stanice
Klíčová slova v angličtině
Petri coloured nets, CPN Tools, simulation, train station
Rozsah průvodní práce
81
Jazyk
CZ
Anotace
Hlavním cílem této bakalářské práce je zhotovení simulačního modelu vlakové stanice, navázání na konkrétní stanici, a nasimulování reálných dopravních situací. Tento simulační model bude vytvořen v programu CPN Tools pomocí barvených Petriho sítí. Také pak seznámení čtenáře s tímto simulačním modelem, prací v softwaru CPN Tools, a uvedení do teorie Petriho barvených sítí.
Anotace v angličtině
The main goal of this bechelor thesis is to design a simulation model of train station, establish a simulation of the specific station and to simulate real traffic events. This simulation model will be created in software called CPN Tools with help of coloured Petri nets. Also, the thesis will familiarizate the reader with mentioned simulation model, working in CPN Tools software and the theory of Petri nets.
Klíčová slova
Petriho barvené sítě, CPN Tools, simulace, železniční stanice
Klíčová slova v angličtině
Petri coloured nets, CPN Tools, simulation, train station
Zásady pro vypracování
Cílem této práce je navrhnout simulační model řízení dopravy v konkrétní železniční stanici pomocí barevných Petriho sítí s využitím softwaru CPN Tools. V tomto modelu budou znázorněny různé dopravní situace, které mohou běžně nastat.
Osnova: 1) Teoretický úvod do problematiky Petriho sítí 2) Analýza současného stavu 3) Návrh simulačního modelu řízení provozu v železniční stanici pomocí barevných Petriho sítí 4) Na základě modelu ukázat různé dopravní situace 5) Model konkrétní železniční stanice 6) Zhodnocení efektivity modelu
Zásady pro vypracování
Cílem této práce je navrhnout simulační model řízení dopravy v konkrétní železniční stanici pomocí barevných Petriho sítí s využitím softwaru CPN Tools. V tomto modelu budou znázorněny různé dopravní situace, které mohou běžně nastat.
Osnova: 1) Teoretický úvod do problematiky Petriho sítí 2) Analýza současného stavu 3) Návrh simulačního modelu řízení provozu v železniční stanici pomocí barevných Petriho sítí 4) Na základě modelu ukázat různé dopravní situace 5) Model konkrétní železniční stanice 6) Zhodnocení efektivity modelu
Seznam doporučené literatury
JENSEN, K. a Lars M. KRISTENSEN. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. New York: Springer, 2009. ISBN 978-3-642-00283-0.
PAVLAS, Jiří. Zabezpečovací technika v dopravě. 2015. Brno: Code Creator, 2015. ISBN 978-80-88058-17-5.
JENSEN, K. Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use. 2nd ed. New York: Springer, 1997-. ISBN 35-406-0943-1.
SŽDC D1 - Dopravní a návěstní předpis [online]. Dostupné z: https://provoz.szdc.cz/portal/ViewArticle.aspx?oid=869998
Seznam doporučené literatury
JENSEN, K. a Lars M. KRISTENSEN. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. New York: Springer, 2009. ISBN 978-3-642-00283-0.
PAVLAS, Jiří. Zabezpečovací technika v dopravě. 2015. Brno: Code Creator, 2015. ISBN 978-80-88058-17-5.