Zaslať SMS: Analýza dynamickej korektnosti Petriho sietí