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