Análise Formal de Redes Sociais - Trabalho1