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