Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 10-May-1999 | Síntese de supervisores através de verificação de modelo. | BASTOS, Wellington de Araújo. |
| 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. |
| 23-Aug-1994 | Rede de petri com temporização nebulosa. | FIGUEIREDO, Jorge Cesar Abrantes de. |
| Dec-1997 | Uma ferramenta interativa baseada em redes de petri para modelagem, simulação e análise de sistemas complexos. | LIMA, Itamar de Souza. |
| 28-Aug-1996 | Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. | BARROSO, Giovanni Cordeiro. |