Modelovanie výrobných systémov pomocou časovaných Petriho sietí : Diplomová práca - Micánková, Agáta (SVŠT v Bratislave StF KAIS, 1991)