Zaslať SMS: Analýza nesekvenčných scenárov Petriho sietí