Invia SMS: Transformácia modelu z VHDL do Petriho sieti