Modelovanie a diagnostika pomocou farebných Petriho sietí - Kurtý, Michal, 1988- (STU v Bratislave FIIT, 2012)