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.

This work presents a formal definition of a Petri Net named GHENeSys General Hierarchical Enhanced Net System), we show its state equation, algorithms for a computational tool based on classic state equation, the software that make it useful and an application on control synthesis. GHENeSys an Extended Object Oriented Net than allow hierarchical design of systems, the principal interest of this work is an intent of melting Petri Net Inside Objects and Object Inside Petri Nets, but keeping the classics algebraic representation and properties analysis. Is presented a case study on Building Automation, where the use politics represented by heuristic rules, are used to make the synthesis of a supervisory system using the concept of Control Object.