Zaslať SMS: Doplnenie funkcionality modelera Petriho sietí