Multimediálny programový systém na podporu výučby Petriho sietí - Bartek, Tomáš, 1987- (STU v Bratislave FIIT, 2010)