Invia SMS: Editor procesov na báze Petriho sietí