Verificação formal de sistemas discretos distribuídos.

Abstract

Agradeço ao orientador deste trabalho, Prof. Doutor José Reinaldo Silva pelo suporte dado na realização deste trabalho e pelas continuas discussões que tanto aportaram a melhoria do mesmo. Agradeço também aos colegas do Dlab pela sua contribuição a manter um ambiente amigável de trabalho. Agradeço especialmente aos colegas José Armando San Pedro Miralles e Arianna Zoila Olivera Sálmon pela sua ajuda na implementação da rede GHENeSys assim como do verificador de modelos. A minha familia, pela sua ajuda e compreensão, especialmente a meus pais, pela formação que me deram, e o seu incentivo na procura constante de superação profissional. Finalmente gostaria de agradecer aos professores do Departamento de Mecatrônica e de Sistemas Mecânicos, especialmente ao Prof. Doutor Newton Maruyama, que de alguma forma contribuíram na minha formação eà conclusão deste trabalho. Palavras-chave: Verificação formal. Verificação de modelos. Redes de Petri temporizadas. Sistemas discretos.