Aplikácia pre diagnostiku chýb pomocou modelov - Petriho sietí - Majzlík, Michal, 1986- (STU v Bratislave FIIT, 2011)