Enviar por SMS: Softvérová podpora modelovania nesekvenčného správania Petriho sietí