ENQUADRANDO GHENESYS DENTRO DO PETRI NET STANDARD Jos´ e Armando San Pedro Miralles ∗ , Jos´ e Reinaldo Silva ∗ ∗ Departamento de Engenharia Mecatrˆonica, Ave. Prof. Mello Moraes 2231, Cidade Universit´aria Universidade de S˜ao Paulo S˜ao Paulo, S˜ao Paulo, Brasil Emails: jose.miralles@poli.usp.br, reinaldo@usp.br Abstract— Recent work in Petri Nets points to the idea of proposing a unified approach that could encompass all the available resources found within different Petri nets extensions which appear to face the complexity to model practical discrete event systems(DES). A net system called GHENeSys designed and developed in the DesignLab of the University of S˜ao Paulo, was conceived as an extended net and also includes concepts of object- orientation, hierarchy, and so far, figures as one of first attempts to provide a practical environment that fits the definition of a unified net. To reach this target, the GHENeSys definition have to follow the Petri Net Standard, whose definition began to be specified by the ISO/IEC in a three-part International Standard in 2004 and continues until today. In this paper it is presented the initial proposal to frame the GHENeSys definition within the Petri Net Standard and prospective applications. Keywords— Petri Net, unified approach, GHENeSys, PNML. Resumo— Trabalhos recentes em Redes de Petri apontam para a id´eia de propor uma abordagem unificada que possa abranger todos os recursos dispon´ıveis oferecidos pelas diferentes extens˜oes das Redes de Petri(RdP) que s˜ ao necess´ arias para lidar com a maioria, sen˜ao a totalidade, dos sistemas a eventos discretos(SED). A rede GHENeSys, concebida e desenvolvida no do DesignLab da Universidade de S˜ ao Paulo, foi concebida para ser uma rede estendida com conceitos de orienta¸ c˜ao a objetos, um mecanismo de hierarquia, e at´e o momento parece ser uma das primeiras tentativas de prover um ambiente de modelagem e design com as propriedades de uma rede unificada, com capacidade para cobrir as diferentes variantes das RdP e suas extens˜oes, al´em de incluir as RdP de alto n´ıvel. Para conseguir esse objetivo, a defini¸c˜ao da rede GHENeSys deve estar em consonˆ ancia com o Petri Net Standard, que come¸cou a ser especificado em 2004 pela IEC/ISO e continua at´e hoje. Neste trabalho ´e apresentada uma proposta inicial para enquadrar a defini¸ c˜ao da rede GHENeSys dentro do Petri Net Standard e potenciais aplica¸c˜oes. Palavras-chave— Redes de Petri, abordagem unificada, GHENeSys, PNML. 1 Introdu¸c˜ao As Redes de Petri(RdP) foram originalmente cria- das para representar sistemas de comunica¸c˜ao na ´area da engenharia e, portanto, j´a nasceram as- sociadas a uma classe de aplica¸ c˜ao. Desenvolvi- mentos posteriores tornaram muito mais ampla a abordagem inicial trazendo consigo uma grande procura para aplicar o formalismo em diversas ´areas, algumas delas fora do ˆambito da engenha- ria. Como consequˆencia disto, foram desenvolvi- dos v´arios conceitos, m´etodos e ferramentas base- adas nas RdP dando lugar ao surgimento de dife- rentes tipos e extens˜ oes. A identifica¸ c˜ao do tipo de RdP adequado e do seu m´etodo de aplica¸ c˜ao den- tro do processo de desenvolvimento de sistemas passou a ser um ponto importante deste processo, convertendo-se muitas vezes em uma tarefa dif´ıcil. A tentativa mais recente para solucionar esse problema, consiste em propor uma abordagem unificada, abrangendo todos os recursos dispon´ı- veis oferecidos pelas diferentes extens˜ oes das RdP juntamente com o dobramento das redes de alto n´ıvel, al´em de poder de abstra¸c˜ao, atrav´es de inser¸c˜ao de hierarquia e a disciplina, encapsula- mento e poder de reutiliza¸c˜ao dos objetos. Assim, o que usar depende da aplica¸c˜ao e n˜ao do ambiente de modelagem e design. O problema fica sendo ent˜ao compatibilizar todos estes insumos em uma disciplina geral de projeto e em uma representa¸ c˜ao unificada. A rede GHENeSys (del Foyo, 2001) ´e uma proposta do DesignLab da Universidade de S˜ao Paulo, foi inicialmente concebida como uma rede estendida com conceitos de orienta¸c˜ao a objetos e um mecanismo de abstra¸c˜ao e de s´ıntese, cobrindo assim, de forma unificada, as diferentes variantes das RdP e suas extens˜ oes. Mais tarde este sis- tema foi generalizado para incluir as redes tempo- rizadas. Seguindo a atual tendˆencia de unifica¸c˜ao conceitual das redes de Petri, a defini¸ c˜ao da rede GHENesys deve estar em consonˆancia com o Petri Net Standard, cuja defini¸ c˜ao come¸cou a ser espe- cificada em 2004 pela IEC/ISO na norma 15909 (Hillah et al., 2006). O PN Standard foi concebido em trˆes partes independentes, para permitir uma maior flexibi- lidade no processo de normaliza¸c˜ao. A primeira parte normaliza todos os elementos referentes `a defini¸c˜ao das RdP de Alto N´ıvel (HLPN). A se- gunda parte define um formato de transferˆencia, o Petri Net Markup Language(PNML), para per- mitir o intercˆambio de modelos de sistemas, cons- tru´ıdos em HLPNs, entre as diferentes ferramentas de edi¸c˜ao, an´ alise e simula¸c˜ao de RdPs. A terceira parte ´e dedicada `a normaliza¸c˜ao das extens˜ oes das RdPs, incluindo a hierarquia, o tempo e as funci- onalidades estoc´asticas (Hillah et al., 2006). 735 XVIII Congresso Brasileiro de Automática / 12 a 16-setembro-2010, Bonito-MS