Zaslať SMS: Editor, verifikátor a animátor Petriho sietí