Využitie Petriho sietí v podmienkach dispečerského riadenia : Diplomová práca - Marguš, Ivan (STU v Bratislave MtF KAIS, 1991)