palavras-chave CAD Electrónico Controladores Paralelos Especificação de Sistemas Digitais Redes de Petri VHDL