Enviar por SMS: Analýza dynamickej korektnosti Petriho sietí