MODEL OBSLUHY TRANZITNÍCH NÁKLADNÍCH VLAKŮ SPECIFIKOVANÝ POMOCÍ BARVENÉ PETRIHO SÍTĚ

Abstrakt

Článek popisuje model obsluhy tranzitních nákladních vlaků, vytvořený pomocí barvených Petriho sítí v prostředí CPN Tools, jako určitý druh formalizace průběhu dopravních procesů, včetně jejich vzájemné synchronizace, na mezoskopické úrovni abstrakce. V rámci vymezení zkoumaného systému byl navržen princip zachycení zpracování jednoho tranzitního vlaku na technologické úrovni. Podle stejného principu byl následně sestaven model v Petriho síti, přičemž zavedení dalších vlaků, tj. definice jejich zpracování, včetně synchronizace více vlaků, se provádí parametrizací jediného modelu, jediné Petriho sítě. Funkčnost modelu je předvedena na jednom z několika příkladů použití.