Redes de Petri e VHDL na prototipagem rápida de sistemas digitais Artigo de Conferência