Zaslať SMS: Analýza prechodov Petriho sietí