Генерация VHDL-описаний цифровых устройств на основе модели, заданной сетью Петри