| dc.contributor.advisor |
Kavička, Antonín |
|
| dc.contributor.author |
Patras, Viktor |
|
| dc.date.accessioned |
2012-07-15T18:52:44Z |
|
| dc.date.available |
2012-07-15T18:52:44Z |
|
| dc.date.issued |
2012 |
|
| dc.identifier |
Univerzitní knihovna (studovna) |
cze |
| dc.identifier.uri |
http://hdl.handle.net/10195/45455 |
|
| 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.format |
178 s. |
cze |
| dc.format.extent |
2707756 bytes |
cze |
| dc.format.mimetype |
application/pdf |
cze |
| 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.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 |
| dc.contributor.referee |
Brandejský, Tomáš |
|
| dc.contributor.referee |
Klima, Valent |
|
| dc.contributor.referee |
Krýže, Pavel |
|
| dc.date.accepted |
2012 |
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.department |
Katedra informatiky v dopravě |
cze |
| dc.thesis.degree-discipline |
Technologie a management v dopravě a telekomunikacích |
cze |
| dc.thesis.degree-name |
Ph.D. |
cze |
| dc.thesis.degree-grantor |
Univerzita Pardubice. Dopravní fakulta Jana Pernera |
cze |
| dc.identifier.signature |
D27620 |
cze |
| dc.thesis.degree-program |
Technika a technologie v dopravě a spojích |
cze |
| 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.identifier.stag |
18672 |
cze |
| dc.description.grade |
Dokončená práce s úspěšnou obhajobou |
cze |
