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