Strategické a taktické plánovánání procesů v seřaďovací stanici s využitím simulace

Patras, Viktor

Publikace:
Strategické a taktické plánovánání procesů v seřaďovací stanici s využitím simulace

Disertační práceopen access

dc.contributor.advisor	Kavička, Antonín
dc.contributor.author	Patras, Viktor
dc.contributor.referee	Brandejský, Tomáš
dc.contributor.referee	Klima, Valent
dc.contributor.referee	Krýže, Pavel
dc.date.accepted	2012	cze
dc.date.accessioned	2012-07-15T18:52:44Z
dc.date.available	2012-07-15T18:52:44Z
dc.date.issued	2012
dc.description.abstract	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.	cze
dc.description.abstract-translated	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.	eng
dc.description.defence	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.	cze
dc.description.department	Katedra informatiky v dopravě	cze
dc.description.grade	Dokončená práce s úspěšnou obhajobou	cze
dc.format	178 s.	cze
dc.format.extent	2707756 bytes	cze
dc.format.mimetype	application/pdf	cze
dc.identifier	Univerzitní knihovna (studovna)	cze
dc.identifier.signature	D27620	cze
dc.identifier.stag	18672	cze
dc.identifier.uri	https://hdl.handle.net/10195/45455
dc.language.iso	cze
dc.publisher	Univerzita Pardubice	cze
dc.rights	Bez omezení	cze
dc.subject	technologie železnicní dopravy	cze
dc.subject	modelování	cze
dc.subject	simulace	cze
dc.subject	Petriho sítě	cze
dc.subject	railway transport technology	eng
dc.subject	modelling	eng
dc.subject	simulation	eng
dc.subject	Petri Nets	eng
dc.thesis.degree-discipline	Technologie a management v dopravě a telekomunikacích	cze
dc.thesis.degree-grantor	Univerzita Pardubice. Dopravní fakulta Jana Pernera	cze
dc.thesis.degree-name	Ph.D.	cze
dc.thesis.degree-program	Technika a technologie v dopravě a spojích	cze
dc.title	Strategické a taktické plánovánání procesů v seřaďovací stanici s využitím simulace	cze
dc.title.alternative	Long-term and medium-term planning processes in marshalling	eng
dc.type	disertační práce	cze
dspace.entity.type	Publication