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