Envoyer par SMS: Analýza nesekvenčného správania Petriho sietí