área de pesquisa
- Adinan de Souza
- Análise de Controle de Concorrência e Escalonamento de Transações em Bancos de Dados em Tempo-Real Usando Redes de Petri
- Aspectos de herança em uma notação orientada a objetos baseada em redes de petri.
- Clayton José Natal de Lira
- César Rafael Claure Torrico
- Estudo de Equivalência entre Redes de Petri e Redes de Fila no Ambiente SAVAD
- Estudo e experimentação de uma linguagem de modelagem de sistemas baseada em redes de petri e orientação a objetos.
- Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
- Formalizando Entidades Gerenciadas Utilizando Redes de Petri Orientada a Objetos
- Francisco Antonio de Alencar Menezes
- Isabel Dillmann Nunes
- JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem
- Jorge Cesar Abrantes de Figueiredo
- José Cavalcante Reis Neto
- Marcio Rillo
- Maria Ligia Barbosa Perkusich
- Mauricio Porto Silva
- Mecanismos de Qualidade de Serviços para o Gerenciamento de Dados e Transações em Tempo-Real
- Modelagem de Pol ticas de Estoques: uma abordagem baseada em Redes de Petri
- Redes de Petri com Temporização Nebulosa
- Redes de Petri Orientada a Objetos
- Suporte à análise e verificação de modelos RPOO.
- Tatiana Renata Garcia
- UM META-ALGORITMO PARA O DESENVOLVIMENTO DE INDICADORES DE QUALIDADE DE SOFTWARE AMPARADOS POR MODELOS E POR UM MÉTODO FORMAL
- Vilmar Pedro Votre