Detalhes bibliográficos
| Ano de defesa: |
2004 |
| Autor(a) principal: |
Restrepo, Pedro Luis Angel |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/
|
Resumo: |
Neste trabalho se apresenta a definição da rede GHENeSys (General Hierarchical Enhanced Net System), sua equação de estado, os algoritmos computacionais para um jogador de marcas baseado na sua equação de estado, a ferramenta computacional que os implementa e uma aplicação na síntese de controle. A GHENeSys é uma rede estendida orientada a Objetos que permite o tratamento hierárquico do processo de projeto, o tema base é uma proposta na direção da fusão do Petri Net Inside Objects e do Object Inside Petri Nets, mantendo a representação algébrica e a análise de propriedades clássica. Apresenta-se um estudo de caso no campo da automação predial, consistindo de um prédio com uma política de utilização definida mediante regras heurísticas. Estas regras são utilizadas para a síntese de um sistema supervisório para o prédio, mediante o conceito de objetos de controle. |
