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