Využitie farebných Petriho sietí v oblasti bezpečnosti počítačových systémov a sietí - Sebín, Juraj, 1986- (STU v Bratislave FIIT, 2012)