Describir: Využitie farebných Petriho sietí v oblasti bezpečnosti počítačových systémov a sietí