Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
Dec-1997 | Uma ferramenta interativa baseada em redes de petri para modelagem, simulação e análise de sistemas complexos. | LIMA, Itamar de Souza. |
16-Aug-1999 | Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. | SILVA, Vanderley Pereira da. |
Nov-2000 | Verificação de receitas em sistemas de produção em lotes. | DIAS, Michel Coura. |
Aug-2001 | Aplicação de um modelo de navegação de IHM ao contexto de sistemas industriais. | SCAICO, Alexandre. |
Aug-2001 | Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. | RIBEIRO NETO, Pedro Fernandes. |