área de pesquisa Ivan dos Santos Ferreira Mendes Jacintho Mendes Lopes Júnior Luís Antonio De Almeida Rodriguez Modelagem de sistema C3I para navios de guerra através de Redes de petri