publicações selecionadas A PARALLEL ARCHITECTURE FOR SERIALIZABLE PRODUCTION SYSTEMS Síntese lógica automática de circuitos sequenciais síncronos baseada em máquinas de estados finitos