publicações Ferramentas para a Integração de Redes de Petri e VHDL na Síntese de Sistemas Digitais Documento