Describir: Modelovanie a diagnostika pomocou farebných Petriho sietí