Envoyer par SMS: Analýza nesekvenčných scenárov Petriho sietí