SMS versenden: Analýza dynamickej korektnosti Petriho sietí