Hlavním tématem práce bylo rozšírení použití Petriho sítí jako formalismu pro popis dopravních procesu z technologického hlediska a pro modelování, resp. simulaci, techto procesu na strední a vyšší úrovni abstrakce. Pro definice dopravních technologií se formalismus Petriho sítí jeví jako mocnejší oproti doposud používaným sítových grafum. Byla proto navržena metodika prevodu sítového
grafu na Petriho sít jako ukázka urcité analogie obou prístupu a soucasne jako prvního kroku
výstavby modelu dopravních procesu pomocí Petriho sítí. Možnosti použití Petriho sítí byly overeny
a demonstrovány vytvorením modelu obsluhy tranzitních nákladních vlaku s rešením nekolika
ilustracních príkladu. Verohodnost použití Petriho sítí pro modelování na strední a vyšší úrovni
abstrakce jako podpory pro strednedobé a dlouhodobé plánování byla prokázána porovnáním s výsledky
modelu shodného prípadu sestaveného na nejnižší úrovni abstrakce v simulacním programu
Villon.
Anotace v angličtině
Main goal of dissertation is to extend usage of Petri Nets as formalism that is useful for description of transport processes in light of technology and for modelling or simulation of these processes on middle and higher abstraction level. For transport technology definition Petri Nets formalism appears more powerful in comparison with currently used flowcharts. Therefore there was designed
conversion methodology of flowchart to Petri Net as demonstration of analogy both formalisms
and at the same time as first step of creating transport processes models with Petri Nets. Usage
potentials of Petri Nets were verified and demonstrated by creating model of transit freight trains
service that is replenished with illustrative examples and their solutions. Credibility of using Petri
Nets for modelling on middle and higher abstraction level as support for medium-term and longterm
planning was documented by comparison with results of the same situation model that was
created on lowest abstraction level in simulation programme Villon.
Klíčová slova
technologie železnicní dopravy, modelování, simulace, Petriho síte
Klíčová slova v angličtině
railway transport technology, modelling, simulation, Petri Nets
Rozsah průvodní práce
-
Jazyk
CZ
Anotace
Hlavním tématem práce bylo rozšírení použití Petriho sítí jako formalismu pro popis dopravních procesu z technologického hlediska a pro modelování, resp. simulaci, techto procesu na strední a vyšší úrovni abstrakce. Pro definice dopravních technologií se formalismus Petriho sítí jeví jako mocnejší oproti doposud používaným sítových grafum. Byla proto navržena metodika prevodu sítového
grafu na Petriho sít jako ukázka urcité analogie obou prístupu a soucasne jako prvního kroku
výstavby modelu dopravních procesu pomocí Petriho sítí. Možnosti použití Petriho sítí byly overeny
a demonstrovány vytvorením modelu obsluhy tranzitních nákladních vlaku s rešením nekolika
ilustracních príkladu. Verohodnost použití Petriho sítí pro modelování na strední a vyšší úrovni
abstrakce jako podpory pro strednedobé a dlouhodobé plánování byla prokázána porovnáním s výsledky
modelu shodného prípadu sestaveného na nejnižší úrovni abstrakce v simulacním programu
Villon.
Anotace v angličtině
Main goal of dissertation is to extend usage of Petri Nets as formalism that is useful for description of transport processes in light of technology and for modelling or simulation of these processes on middle and higher abstraction level. For transport technology definition Petri Nets formalism appears more powerful in comparison with currently used flowcharts. Therefore there was designed
conversion methodology of flowchart to Petri Net as demonstration of analogy both formalisms
and at the same time as first step of creating transport processes models with Petri Nets. Usage
potentials of Petri Nets were verified and demonstrated by creating model of transit freight trains
service that is replenished with illustrative examples and their solutions. Credibility of using Petri
Nets for modelling on middle and higher abstraction level as support for medium-term and longterm
planning was documented by comparison with results of the same situation model that was
created on lowest abstraction level in simulation programme Villon.
Klíčová slova
technologie železnicní dopravy, modelování, simulace, Petriho síte
Klíčová slova v angličtině
railway transport technology, modelling, simulation, Petri Nets
Zásady pro vypracování
-
Zásady pro vypracování
-
Seznam doporučené literatury
-
Seznam doporučené literatury
-
Přílohy volně vložené
-
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Prezentace dizertační práce.
Přečtení posudků a odpovědi na připomínky oponentů.
Rozprava.
Tajné hlasování.
Vyhlášení výsledku obhajoby.