Dopravní prostředky využíváme téměř každý den. Vlastí vozidlo využívá stále více lidí. V některých případech může tato skutečnost způsobit zpomalení dopravy na křižovatkách. Ke sledování tohoto jevu a předcházení mu je vhodné využívat programy analyzující dopravu, které umožňují na základě zadaných dat simulovat dopravní situace. Takový software je vytvořen v této práci pomocí Barvených Petriho sítí. Pomocí tohoto softwaru byly navrženy modely tří dopravních křižovatek ve městě Teplice. Simulace na základě naměřených dat nám umožnily získat informace o zdržení na křižovatkách. Na základě získaných dat byly vytvořeny grafy. Tato data byla následně využita ke zhodnocení volby řízení křižovatky.
Anotace v angličtině
We use means of transport almost every day. More and more people are using their own vehicle. In some cases, this can cause traffic to slow down at crossroads. To monitor and prevent this phenomenon, it is advisable to use traffic analysis programs that allow simulating traffic situations based on entered data. Such software is created in this thesis using Coloured Petri nets. Using this software, models of three crossroads in Teplice were designed. Simulations based on the measured data allowed us to obtain information about delays at crossroads. Based on the obtained data, graphs were created. This data was then used to evaluate the choice of intersection control.
Klíčová slova
Křižovatka, doprava, dopravní zatížení, model, simulace, analýza, barvené Petriho sítě
Klíčová slova v angličtině
Crossroad, traffic, traffic load, model, simulation, analysis, coloured Petri nets
Rozsah průvodní práce
43 s. (47 331)
Jazyk
CZ
Anotace
Dopravní prostředky využíváme téměř každý den. Vlastí vozidlo využívá stále více lidí. V některých případech může tato skutečnost způsobit zpomalení dopravy na křižovatkách. Ke sledování tohoto jevu a předcházení mu je vhodné využívat programy analyzující dopravu, které umožňují na základě zadaných dat simulovat dopravní situace. Takový software je vytvořen v této práci pomocí Barvených Petriho sítí. Pomocí tohoto softwaru byly navrženy modely tří dopravních křižovatek ve městě Teplice. Simulace na základě naměřených dat nám umožnily získat informace o zdržení na křižovatkách. Na základě získaných dat byly vytvořeny grafy. Tato data byla následně využita ke zhodnocení volby řízení křižovatky.
Anotace v angličtině
We use means of transport almost every day. More and more people are using their own vehicle. In some cases, this can cause traffic to slow down at crossroads. To monitor and prevent this phenomenon, it is advisable to use traffic analysis programs that allow simulating traffic situations based on entered data. Such software is created in this thesis using Coloured Petri nets. Using this software, models of three crossroads in Teplice were designed. Simulations based on the measured data allowed us to obtain information about delays at crossroads. Based on the obtained data, graphs were created. This data was then used to evaluate the choice of intersection control.
Klíčová slova
Křižovatka, doprava, dopravní zatížení, model, simulace, analýza, barvené Petriho sítě
Klíčová slova v angličtině
Crossroad, traffic, traffic load, model, simulation, analysis, coloured Petri nets
Zásady pro vypracování
Cílem práce je navrhnout a analyzovat simulační model silniční dopravy v barvených Petriho sítích. Model bude vycházet ze situace na konkrétních křižovatkách na Teplicku a bude využívat naměřených a statisticky zpracovaných dat aktuálního stavu dopravy. Při modelování pomocí barvených Petriho sítí budou využity pokročilé funkce, které umožní efektivnější práci s reálným časem a aplikaci složitějších podmínek v modelu.
Osnova:
Úvod do barvených Petriho sítí
Seznámení s nástrojem CPN Tools
Analýza současného stavu vybraných křižovatek včetně zjištění existujících zdrojů dat
Statistická analýza naměřených dat
Návrh a realizace modelu v barvených Petriho sítích pro simulaci dopravních situací
Využití modelu k simulaci konkrétních dopravních situací
Analýza namodelovaných dat a zhodnocení výsledků
Zásady pro vypracování
Cílem práce je navrhnout a analyzovat simulační model silniční dopravy v barvených Petriho sítích. Model bude vycházet ze situace na konkrétních křižovatkách na Teplicku a bude využívat naměřených a statisticky zpracovaných dat aktuálního stavu dopravy. Při modelování pomocí barvených Petriho sítí budou využity pokročilé funkce, které umožní efektivnější práci s reálným časem a aplikaci složitějších podmínek v modelu.
Osnova:
Úvod do barvených Petriho sítí
Seznámení s nástrojem CPN Tools
Analýza současného stavu vybraných křižovatek včetně zjištění existujících zdrojů dat
Statistická analýza naměřených dat
Návrh a realizace modelu v barvených Petriho sítích pro simulaci dopravních situací
Využití modelu k simulaci konkrétních dopravních situací
Analýza namodelovaných dat a zhodnocení výsledků
Seznam doporučené literatury
VORÁČOVÁ, Šárka, Martin PĚNIČKA a Jaroslav VESELÝ. Úvod do modelování procesů Petriho sítěmi. Praha: Česká technika - nakladatelství ČVUT, 2008. ISBN 978-80-01-03979-3.
MILNER, Robin, Mads TOFTE, Robert HARPER a David MACQUEEN. The definition of standard ML: revised. The MIT Press, 1997. ISBN 0-262-63181-4.
KOCHANÍČKOVÁ, Monika. Petriho sítě [online]. 2008. Dostupné z: http://phoenix.inf.upol.cz/esf/ucebni/petriho_site.pdf.renamed
ČEŠKA, Milan, Vladimír MAREK, Petr NOVOSAD a Tomáš VOJNAR. Petriho sítě: Studijní opora [online]. 2009. Dostupné z: http://www.fit.vutbr.cz/study/courses/PES/public/Pomucky/PES_opora.pdf
POKORNÝ, Ondřej. Návrh simulačního modelu silniční dopravy pomocí barvených Petriho sítí. Ústí nad Labem, 2017. Bakalářská práce. Univerzita Jana Evangelisty Purkyně v Ústí nad Labem, Přírodovědecká fakulta.
KALČÍK, Václav. Návrh simulačního modelu silniční dopravy pomocí Petriho sítí. Ústí nad Labem, 2016. Bakalářská práce. Univerzita Jana Evangelisty Purkyně v Ústí nad Labem, Přírodovědecká fakulta.
NAVRÁTIL, Vojtěch. Modelování dopravních systémů s využitím Petriho sítí. Praha, 2010. Diplomová práce. České vysoké učení technické v Praze, Fakulta elektrotechniky. Dostupné z: https://support.dce.felk.cvut.cz/mediawiki/images/6//6f/Dp_2010_navratil_vojtech.pdf
Seznam doporučené literatury
VORÁČOVÁ, Šárka, Martin PĚNIČKA a Jaroslav VESELÝ. Úvod do modelování procesů Petriho sítěmi. Praha: Česká technika - nakladatelství ČVUT, 2008. ISBN 978-80-01-03979-3.
MILNER, Robin, Mads TOFTE, Robert HARPER a David MACQUEEN. The definition of standard ML: revised. The MIT Press, 1997. ISBN 0-262-63181-4.
KOCHANÍČKOVÁ, Monika. Petriho sítě [online]. 2008. Dostupné z: http://phoenix.inf.upol.cz/esf/ucebni/petriho_site.pdf.renamed
ČEŠKA, Milan, Vladimír MAREK, Petr NOVOSAD a Tomáš VOJNAR. Petriho sítě: Studijní opora [online]. 2009. Dostupné z: http://www.fit.vutbr.cz/study/courses/PES/public/Pomucky/PES_opora.pdf
POKORNÝ, Ondřej. Návrh simulačního modelu silniční dopravy pomocí barvených Petriho sítí. Ústí nad Labem, 2017. Bakalářská práce. Univerzita Jana Evangelisty Purkyně v Ústí nad Labem, Přírodovědecká fakulta.
KALČÍK, Václav. Návrh simulačního modelu silniční dopravy pomocí Petriho sítí. Ústí nad Labem, 2016. Bakalářská práce. Univerzita Jana Evangelisty Purkyně v Ústí nad Labem, Přírodovědecká fakulta.
NAVRÁTIL, Vojtěch. Modelování dopravních systémů s využitím Petriho sítí. Praha, 2010. Diplomová práce. České vysoké učení technické v Praze, Fakulta elektrotechniky. Dostupné z: https://support.dce.felk.cvut.cz/mediawiki/images/6//6f/Dp_2010_navratil_vojtech.pdf