SMS versenden: Analýza prechodov Petriho sietí