Enviar por SMS: Analýza nesekvenčných scenárov Petriho sietí