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