Implementácia systému špecifikovaného farebnou Petriho sieťou - Kubanda, Peter, 1987- (STU v Bratislave FIIT, 2012)