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