Programový systém na podporu výučby Petriho sietí - aplikácia pod OS Windows - Lesňák, Rudolf, 1986- (STU v Bratislave FIIT, 2009)