Describir: Implementácia systému špecifikovaného farebnou Petriho sieťou