Análise e controle de sistemas de transportes através de Redes de Petri interpretadas
Deteccao de falhas em sistemas flexiveis de montagem atraves de redes de petri.
Modelagem e análise de serviços de saúde: aplicação da Rede de Petri e simulação d...
Editor e simulador de sistemas a eventos discretos baseado em rede de Petri
Detecção e tratamento de falhas em sistemas de manufatura baseados no formalismo d...
Modelagem, análise e controle de sistemas supervisórios híbridos
Editor de modelos de sistemas de eventos discretos baseado em Redes de Petri inter...