Describir: Transformácia modelu z VHDL do Petriho sieti