Desenvolver pesquisa com o objetivo de encontrar modelos matemáticos para análise e controle de sistemas a eventos discretos temporizados usando redes de Petri temporais e ferramentas como: álgebra intervalar, programação linear inteira e álgebra linear.Desenvolver pesquisa acadêmica com aplicações que atendam às necessidades do novo perfil industrial instalado na região metropolitana de Salvador e caracterizado por um forte apelo da automação.
