Editor de rede de Petri: desenvolvimento de módulo tutorial para análise
Alimentacao dinamica da corrente em amplificadores opticos a semicondutor visando ...
Editor de rede de Petri: desenvolvimento de um módulo temporizado
Editor de rede de Petri: módulo conversor para linguagem Ladder Logic Diagram (LLD)
Deteccao de falhas em sistemas flexiveis de montagem atraves de redes de petri.
Representação Explícita de Fluxos Excepcionais em Arquiteturas de Componentes de S...