Existe na comunidade de redes de Petri duas correntes distintas: i) uma que advoga o uso das redes de Petri como uma teoria no sentido matemático do termo, deduzindo a análise do sistema (representado por um modelo formal), através de suas propriedades, que por sua vez são derivadas dos princípios e definições da rede; ii) a segunda corrente se preocupa mais com o uso prático das redes e está muito mais atenta à correspondência entre o modelo (mesmo parcialmente formal) e sua interpretação física, baseando o seu trabalho (geralmente) em extensões das redes. Portanto, o que deveria ser um desenvolvimento sinérgico com contribuições mútuas de ambos os lados parece atualmente um divisor de águas na comunidade acadêmica. Este trabalho pretende contribuir no sentido de aproximar estas duas tendências e mostrar que, de um lado, as extensões são na verdade sub-classes das Redes de Petri elementares onde boa parte dos atributos que aproximam cada uma destas extensões da aplicação podem ser encapsulados em métodos. Isto ocorre quando se utiliza uma versão orientada a objetos para as redes de Petri, onde cada elemento é um objeto, e a rede é, ao mesmo tempo, um agregado de objetos e uma sub-rede de um objeto gerador. Este esquema geral, que neste trabalho é apresentado apenas como uma superclasse de um conjunto de extensões, é chamado de GHENeSys (General Hierarchical Enhanced Net System). Neste trabalho, apresentamos a definição do GHENeSys na forma de rede, sua complementariedade com as redes de Petri convencionais, e sua capacidade de encapsular como sub-classes algumas extensões, através do mapeamento das funcionalidades destas com métodos pertencentes aos objetos ativos e passivos. Outro aspecto importante apresentado é a propagação das propriedades canônicas das redes na estrutura hierárquica do GHENeSys. ) Uma comparação é feita com outras propostas de redes por objetos apresentadas no 1º Workshop on Object-Oriented Programming and Models of Concurency realizado em Lisboa em 1955, e com outras propostas mais recentes. A aplicabilidade do GHENeSys é apresentada, embora tenha-se ainda apenas um modelo preliminar, em problemas pertinentes à área de manufatura, como na análise de workflow, e em um estudo de caso que enfoca um problema de controle em malha fechada para sistemas prediais, enfatizando a integração do algorítmo de controle e a flexibilidade para a inclusão de políticas de acesso e uso das dependências do prédio, além da eliminação de sensores redundantes.

There are two general lines of work concerning the theory and practice of Petri Nets: i) one that treats Petri Net as a sound theory, based on first principles, and reducing the practice of Petri Net to the analysis of properties derived from the theory; ii) other more concerned with an interpretation that can map a net model and practical issues of the target system, and that generally uses extensions to the conventional Petri Nets. Thus, what should be a cooperative research agenda getting together theory and practice is in fact a polemic subject about which is the cornerstone of the research development in this area. The intended contribution addresses a possible fusion between these two lines of approach to Petri Nets. To our object-oriented perspective of Petri Nets, extensions are in fact sub-classes of a general Elementary Net, where practical issues are represented by attributes and methods associated to each element. The overall net is an aggregate of these elements, and at the same time a subnet associated to one of then (emphasizing a structured approach). Such schema was called GHENeSys (General Hierarchical Enhanced Net System) which basic definitions are presented in this thesis. In this work we present a net representation of GHENeSys, as well as its complementarity with the conventional net approach and its capacity - throughout a mapping of functionalities - to encompass extensions as representational subclasses. Also, we show that the classicalproperties of nets are preserved in the hierarchical structure of GHENeSys. A comparison is made with similar proposals that appeared in the 1º Workshop on Object-Oriented Programming and Models of Concurrency and others presented more recently. ) The suitability of GHENeSys to practical applications is showed, first in the workflow analysis, a typical manufacturing problem, and in a case study of closed loop control and supervision connected to intelligent building facilities. Integration and flexibility are an additional challenge to this application, where policies for the use of dependencies are set and changed according the demand. We claim that the observed redundancy of sensors that occurs in this kind of application can be eliminated with our approach.