Invia SMS: Riadenie DEDS pomocou mikrokontrolérov s využitím Petriho sietí