Petriho siete v modelovaní dopravného podsystému PVS : Diplomová práca - Hubka, Ľuboš (STU v Bratislave MtF KAIA, 1995)