Modelovanie a diagnostika pomocou farebných Petriho sietí - Kubík, Pavol, 1987- (STU v Bratislave FIIT, 2012)