Zaslať SMS: Analýza Petriho sietí