Essa dissertação tem como objetivo utilizar a simulação de eventos discretos na análise dos estoques seletivos em processo de cabinas, em uma montadora de veículos comerciais de grande porte instalada no Brasil. A análise e a redução desses estoques seletivos são desejadas, pois o armazenamento de cabinas de caminhões, além de representar um alto custo para a produção, é de difícil controle e de alto risco. O desenvolvimento deste trabalho contribuirá para o conhecimento das dificuldades e benefícios da aplicação da simulação de sistemas discretos em sistemas produtivos de alta complexidade, como são os sistemas de manufatura da indústria automobilística. A análise desse sistema é de significativa dificuldade, devido ao tamanho dos produtos, ao mix de produção, à variabilidade do fluxo das etapas de produção e às diversas variáveis que influem no sistema simultaneamente. A técnica de simulação de eventos discretos foi escolhida por ser a mais indicada para analisar todo o sistema e auxiliar na tomada de decisão. Todo o estudo do sistema, modelagem, verificação, validação, simulação e resultados foram feitos de acordo com procedimentos já sedimentados para o uso da simulação de eventos discretos, de acordo com a bibliografia apresentada. Os resultados mostram a eficiência do método utilizado e propõem um cenário otimizado para o sistema estudado. O estudo foi realizado com a utilização do software de simulação de eventos discretos, Arena® 5.0. / This work has the main objective to use the discrete event simulation to analyze the in process cabins selective banks of a commercial vehicle assembler. The analysis and reduction of the selective banks are useful because the storage of cabins represents some production risks, is hard to control and implies in high costs. The developing of this work will contribute to the knowledge of the difficulties and benefits of the use of discrete event simulation applied to high complexity production systems like the automotive industry. The size of the products, the production mix, the throughput variability and the other simultaneous variables turn the storage analysis to a hard level. In this way, the discrete event simulation is the most indicated technique to help the analysis and the decision making. The whole study of the system, the modeling, the validation, the simulation runs and the results were done according to known procedures of using the discrete event simulation, which are mentioned in the references. The presented results show the efficiency of the utilized method and proposed optimized scenery of the studied system. The simulation software Arena 5.0 was used in this study.

Este trabalho cria um modelo, em simulação a eventos discretos, utilizando o software ARENA 5.0, do centro de distribuição de peças de uma empresa do ramo automotivo, para geração de informações relacionadas ao deslocamento dos funcionários nos corredores. Existem diversas variáveis que estão diretamente relacionadas à movimentação no processo de retirada de itens, tais como capacidade e velocidade do transportador manual, influência do peso dos itens na coleta, dentre outras, que dificultam o processo de tomada de decisão. As técnicas propostas na bibliografia apresentam dificuldades em fornecer soluções já que não são capazes de trabalhar simultaneamente com estas variáveis, apresentando, assim, resultados discrepantes com a realidade. A simulação permite lidar com tais variáveis e fornecer resultados que servirão de suporte aos decisores para a tomada de decisão e assim gerenciar melhor os funcionários para completar a coleta de itens dos pedidos sem atrasos / This work builds a model, by the discrete event simulation, using the software ARENA 5.0, of a parts distribution centre of an automotive company, to generate information related to employees routing in aisles. There are several variables related to the movement in the retrieving process, such as capacity and velocity of the manual trolley, influence of the mass of items in the collecting process, among others, which make the decision process difficult. The techniques found in the literature demonstrate certain difficulties in providing solutions because they are not capable of dealing with those variables simultaneously, presenting, consequently, discrepancy results to the reality. The simulation permits to deal with those variables simultaneously and proving results to support managers in decisions and, therefore, to improve employees management in order to finalize the collecting of items without delay

Les structures de sphères creuses appartiennent à la famille des matériaux cellulaires qui ont récemment été étudiés pour leurs multiples propriétés. Dans le cas de cette thèse, le but des sphères creuses est de dissiper l’énergie d’impact d’un oiseau sur un cockpit d’avion. Elles sont développées dans le cadre du projet SAMBA (Shock Absorber Material for Birdshield Application) afin d’optimiser leur énergie spécifique absorbée (J/kg).Dans un premier temps, des essais quasi-statiques (v = 5 mm/min) et dynamiques (v = 2 m/s) de compression uni-axiale sont conduits à température ambiante sur une seule sphère creuse de diamètre 30 mm. Une propagation rapide de fissures macroscopiques est observée. Le formalisme de la Mécanique Élastique Linéaire de la Rupture (MELR) est utilisé pour estimer le taux de restitution d’énergie critique dynamique GIdc du matériau constitutif. La position du sommet de fissure est mesurée pendant la propagation de fissure à l’aide d’une caméra rapide. La Méthode des Éléments Discrets (DEM) permet de simuler la rupture dynamique en implémentant une technique de relâchement des nœuds. Le taux de restitution d’énergie GIdc peut être estimé à partir de l’histoire (position et temps) du sommet de fissure. Le modèle numérique montre que les structures sphériques dissipent une proportion importante de l’énergie par des effets dynamiques. A une même vitesse de propagation, plus l’épaisseur de coque est fine, plus les effets inertiels générés par la rupture sont importants et ce pour une même vitesse de propagation.Le modèle numérique DEM est ensuite employé pour reproduire la rupture dynamique sur une sphère creuse à l’aide d’un critère en contrainte seule ou un critère mixte en contrainte – énergie. Les bons résultats obtenus démontrent la capacité de la DEM à représenter la propagation de fissures en régime dynamique.Finalement, des essais numériques et expérimentaux multi-sphères sont réalisés afin évaluer le comportement des sphères creuses au sein d’un assemblage. / Hollow sphere structure (HSS) belongs to cellular solids that have been studied recently for its multiples properties. In our case, HSS aims to absorb soft impacts energy on an airliner cockpit. HSS is investigated through the SAMBA (Shock Absorber Material for Bird-shield Application) project because of its promises in term of specific energy dissipated (J/kg) during impact.First of all, quasi-static and dynamic (v = 5 mm/min to v = 2 m/s) uniaxial compression tests are conducted at room temperature on a single sphere (D = 30 mm). Rapid crack propagation (RCP) is observed to be predominant at macroscopic scale. The formalism of Linear Elastic Fracture Mechanics (L.E.F.M.) is therefore used to estimate the dynamic energy release rate GIdc . The crack tip location is measured during the crack propagation using a high speed camera. The Discrete Element Method (DEM) is used to simulate the dynamic fracture by implementing the node release technique. The dynamic energy release rate can be determined using an experimentally measured crack history. In spherical structures the numerical results reveal a high proportion of energy dissipated through inertial effects as well as a dependence of the thickness of the hollow sphere over the range of 0.04 mm to 1.2 mm.The DEM model Is then employed to reproduce the RCP according to two failure criterions: a stress criterion and a coupled stress-energy criterion. It reveals to be an interesting way to model the mechanical behavior of brittle materials.Eventually, experimental and numerical multi-spheres tests are performed to evaluate the behavior of brittle hollow spheres within an assembly.

Dans les études expérimentales de la micromécanique des matériaux granulaires, la mesure des forces de contact entre particules est de nos jours toujours un challenge en comparaison avec les outils et techniques bien mieux établis pour la caractérisation cinématique à l'échelle des particules. Cette thèse de doctorat s'attaque à cet ambitieux problème. L'approche proposée implique deux aspects : (i) la caractérisation expérimentale du réseau de contact et de la cinématique à l'échelle des particules, qui peut être réalisée avec des techniques d'imagerie standards ; (ii) une approche numérique capable d'exploiter ces mesures afin de déduire les forces de contact.L'une des contraintes qu'on s'était imposée était de ne s'appuyer que sur la connaissance de la géométrie des particules ainsi que du réseau de contacts pour réaliser la déduction des forces de contact. Trois techniques numériques différentes ont été proposées à cet effet : une méthode basée sur l'élasticité des contacts (CEM), une méthode basée sur la dynamique de contact (CDM) et une méthode basée sur l'équilibre élasto-plastique de l'assemblage granulaire (QSM). Chacune de ces techniques repose sur une approche de la famille des méthodes en éléments discrets ; il s'agit respectivement de le DEM de type Cundall, la dynamique des contacts non régulière, et une approche de calcul statique élastoplastique. La non-unicité de la solution est le principal problème avec les techniques choisies, et elles sont étroitement liées à l’indétermination des forces dans le système.Les trois méthodes sont d'abord présentées et validées en les appliquant à l'estimation des forces dans les systèmes granulaires 2D générés au moyen de simulations DEM explicites. Nous prenons ces simulations comme des expériences "idéales" dans le sens où elles fournissent des données similaires à celles extraites des expériences, mais dépourvues d'erreurs de mesure. Un avantage évident de cette stratégie est d’obtenir des ensembles de forces faisant office de référence faisant foi. Sur cette base, les principaux aspects affectant la détermination des forces peuvent être étudiés. En particulier, le rôle crucial de l'histoire du chargement est mis en évidence et certaines solutions pour les prendre en compte dans la détermination des forces ont été prospectées. Une évaluation de l'influence de l'erreur de mesure a également été réalisée pour prédire l'applicabilité de chaque méthode à des expériences réelles. Une brève analyse de la variabilité des solutions est également fournie.Finalement, des tentatives ont été faites pour déduire des forces issues d’expériences effectuées dans le dispositif 1gamma2epsilon. La cinématique des particules et la connectivité ont été évaluées au moyen de la technique de corrélation d'image numérique. Les avantages et inconvénients des trois méthodes ont été éclaircis. Ils nous conduisent à envisager une utilisation combinée des trois méthodes pour tirer parti de leurs atouts respectifs. À l'avenir, il conviendra de réfléchir à la prise en compte de la stabilité de la solution -- dans l'algorithme de convergence vers une solution -- avec l'espoir de limiter la variabilité des solutions. / In the experimental study of the micro-mechanics of granular materials, measuring inter-particle contact forces is still a challenging task, if compared to the well-established tools and techniques for the kinematic characterisation at particle scale. This doctoral thesis addresses this problem. The proposed approach consists of two parts: an experimental characterisation of the granular network geometry and of particle-scale kinematics, which can be carried out with common imaging techniques such as Digital Image Correlation; a numerical approach aiming to exploit these measurements for the estimation of forces.One imposed constraint was to only make use of the rigid motions of particles, together with the knowledge of the contact network, to infer contact forces. Three different numerical techniques have been proposed to this purpose, referred to as Contact Elasticity Method (CEM), Contact Dynamics-based Method (CDM) and Quasi-Static Method (QSM). Each of these techniques is based on the formulation of common approaches in the family of Discrete Element Methods, respectively the classical Cundall-like DEM, the Non Smooth Contact Dynamics and a quasi-static approach accounting for both contact elasticity and plasticity. It is shown that memory of the history of the packing is the main concern with all the chosen techniques.The three methods are first presented and validated by applying them to the estimation of forces in 2D granular systems generated by means of explicit-time DEM simulations. We refer to these simulations as "ideal" experiments since they are meant to provide the same information that can be extracted from experiments, but without any measurement error. An obvious benefit of this strategy is to get reference force sets that are taken as ground truth. Based on this, the main aspects that affect the determination of forces can be investigated. In particular, the crucial role of history is emphasised here, and some solutions to take it into account in the force inference have been investigated.An assessment of the influence of measurement error has also been carried out, to predict the applicability of each method to real experiments. A short analysis of the variability of the solutions is also provided.Finally, some attempts have been made to infer forces from experiments carried out in the 1gamma2epsilon device. Particle kinematics and connectivity have been assessed by means of the Digital Image Correlation technique.The benefits and drawbacks of the three methods have been demonstrated. They conduct us to envision a combined usage of the three methods. In the future, studying the stability of equilibrium might help reducing the variability of the solutions.

Uma vez que uma aplicação ou projeto tenha sido identificado como sujeito ao uso da simulação, decisões devem ser tomadas acerca de como conduzir os estudos. Embora não haja regras definitivas, alguns passos são geralmente recomendados, tais como: planejamento do estudo, definição do sistema, construção do modelo, execução dos experimentos, análise dos resultados e relatório final. E, a construção do modelo é uma das etapas mais demoradas e complexas. Na execução dos experimentos, e na análise dos resultados a Realidade Virtual (RV) é uma interface que pode fornecer um suporte importante para a tomada de decisões, pois a RV auxilia na criação de mundos virtuais semelhantes ao mundo real, que ajudam na compreensão do funcionamento dos sistemas. Este trabalho propõe um metamodelo para o desenvolvimento de sistemas de simulação de eventos discretos com interface de RV aplicados a ambientes ou estações de trabalho de manufatura. A proposta do metamodelo é composto por quatro módulos: i) de edição e validação de modelos, ii) de criação, edição e execução de ambientes virtuais, iii) de conexão para efetuar o elo entre os dois primeiros módulos e, iv) de controle para gerenciar a comunicação e controlar a simulação. Como resultado tem-se a simulação centralizada baseada no modelo descrito em Rede de Petris (RP) com interface de RV distribuída. O sistema computacional gerado pelo metamodelo auxiliará no aprendizado e compreensão do problema simulado, e ainda permitirá ao usuário o envolvimento através da iteração. / The VR aids in the creation of virtual worlds similar to the real world, helping in understanding how a system works. This research work is concerned with the development of a discrete-event system simulation based on Petri Nets, with Virtual Reality interface for manufacturing environment or workstations. The system is composed of four modules, the first is model editing and validation, the second module is a modeling tool for virtual objects and/or a library of virtual elements, the third module makes the link between the two previous modules, and finally, the fourth is a simulation and control module. The centralized simulation is based on models described by Petri Nets with distributed RV interface resulting in a flexible and consistent system. The system will help users in learning and understanding the simulation problem, and it will also allow the user\'s integration with the environment through the interaction, and through distributed interface.

A redução do consumo de energia dos sistemas eletrônicos, fez com que a pesquisa de novas fontes de energia para alimentar estes dispositivos tivesse enorme importância na última década. Algumas destas fontes são provenientes da conversão de energia de vibrações mecânicas em energia elétrica. Veículos aéreos não tripulados (UAVs) e micro veículos aéreos (MAVs) constituem uma aplicação importante para utilização de geradores de energia baseados em vibrações. Este trabalho tem seu foco na conversão de oscilações aeroelásticas em eletricidade utilizando o efeito piezelétrico direto. Um modelo numérico piezoaeroelasticamente acoplado, proveniente da associação de um modelo por elementos finitos eletromecânico e um modelo aerodinâmico não estacionário é apresentado. Uma asa geradora de energia composta por uma subestrutura metálica e piezocerâmicas embutidas é modelada. Apresentam-se como resultados, saídas elétricas (tensão, corrente e potência elétrica) e mecânicas no domínio do tempo. Uma carga resistiva é assumida no domínio elétrico do problema. Uma rajada discreta do tipo \'1-cos\' é assumida para várias velocidades do escoamento e valores de resistências elétricas, utilizando eletrodos contínuos e segmentados. Aponta que os melhores resultados foram obtidos com a utilização de eletrodos segmentados e que em razão do melhor acoplamento eletromecânico, obtêm-se um maior efeito shunt damping, um aumento na velocidade de flutter (1 m/s neste trabalho) e uma maior geração de potência. / Reducing the power consumption of electronic systems, has led the research for new sources of energy to power these devices have great importance in the last decade. Some of these sources are from the conversion of energy from mechanical vibrations into electrical energy. Unmanned Aerial Vehicles (UAVs) and Micro Air Vehicles (MAVs) are an important application for use of vibration energy harvesting. This work focuses on conversion of aeroelastic oscillations into electricity using piezoelectric direct effect. A numerical model coupled piezoaeroelastically derived from the combination of an electro-mechanical finite element model and an unsteady aerodynamic model is presented. A power generator wing consists of a metal substructure and embedded piezoceramic is modeled. They appear as results, electrical outputs (voltage, current and electric power) and mechanical time domain. A resistive load is assumed in the electric domain of the problem. A discrete gust of shape \'1-cos\' is taken for various flow velocities and values of electrical resistances, using continuous and segmented electrodes. Indicates that the best results were obtained with the use of segmented electrodes and because of better electromechanical coupling, we obtain a higher shunt damping effect, an increase flutter speed (1 m/s in this work) and greater power generation.

Modelos de simulação usados para representar uma malha ferroviária com a circulação de trens percorrendo nela um ciclo fechado, estão sujeitos a diversas interferências. Essas interferências são representadas pela circulação de outros trens, bem como pelas filas que são formadas junto aos terminas de carga e descarga, que alteram a programação inicialmente idealizada. A validação desses modelos de simulação é prejudicada por essas interferências, e a busca por um correto procedimento de validação deve ter como base o adequado direcionamento e alocação dos trens. A carência de estudos sobre a validação de simulações aplicadas a sistemas ferroviários, que considerem a característica especifica de trens de ciclo e as interferências citadas, possibilitou a elaboração desta tese, a qual sinaliza que o desenvolvimento de algoritmos que representam o processo de movimentação dos trens em nível de detalhe suficiente, e a adoção de um método de direcionamento adequado, permitem a validação do modelo para esse tipo de sistema. Das três alternativas avaliadas para representar o direcionamento: escolha aleatória entre diversos pontos de carregamento para atender um destino final ou realizado por rotina com a mesma finalidade inserida no próprio simulador, e por modelo otimizador acessado externamente pelo simulador, foi selecionada a segunda opção por permitir uma validação do modelo mais próxima da realidade e realizar experimentos com menor tempo computacional. Uma vez programado o modelo de simulação com o direcionamento de trens escolhido, foi possível conduzir experimentos para medir a sensibilidade com relação as principais variáveis que permitem o dimensionamento de sistemas ferroviários brasileiros. / The rail network simulation models considering trains on closed loop may have many disturbances. These disturbances are caused by the railnet traffic, or queues at the load/unload stations, that changes the movement previously planned. The validation of these simulation models can be problematic because of these disturbances, and the search for the right validation procedure must count with a good train destination choosing process. The lack of studies about the validation of simulations applied to rail networks, considering the specific features of the closed loop trains and the disturbances, have leaded this thesis development, which proves that the development of algorithms that represent the movement process of the trains under sufficient detailing level, and the adoption of a correct destination choosing process, reaches the model validation. From the three options evaluated to represent this destination choosing procedure: random choosing between many loading points to one unloading point, or an internal model routine to do this same task, or an external optimization model called from the simulation model, was choosen the second option, because it validates the model and runs the simulation experiment faster. Once prepared the model with the destination choosing process selected, was possible to conduct experiments to measure the model sensitivity to the main parameters at the design of brazilian rail networks.

O objetivo de um problema de Fluxo de Potência Ótimo é determinar o estado de um sistema de transmissão de energia elétrica que otimize um dado desempenho do sistema, e satisfaça suas restrições físicas e operacionais. O problema de Fluxo de Potência Ótimo é modelado como um problema de programação não linear com variáveis discretas e contínuas. Na maioria das abordagens da literatura para a resolução de problemas de Fluxo de Potência Ótimo, os controles discretos são modelados como variáveis contínuas. Estas formulações estão longe da realidade de um sistema elétrico pois alguns controles podem somente ser ajustados por passos discretos. Este trabalho apresenta um método para tratar as variáveis discretas do problema de Fluxo de Potência Ótimo. Uma função, que penaliza a função objetivo quando as variáveis discretas assumem valores não discretos, é apresentada. Ao incorporar esta função na função objetivo, um problema de programação não linear com somente variáveis contínuas é obtido e a solução desse problema é equivalente à solução do problema original, que contém variáveis discretas e contínuas. O problema de programação não linear é resolvido pelo Método de Pontos Interiores com Filtro. Experimentos numéricos com os sistemas elétricos IEEE 14, 30, 118 e 300 Barras comprovam que a abordagem proposta é eficiente na resolução de problemas de Fluxo de Potência Ótimo. / The aim of solving the Optimal Power Flow problem is to determine the state of an electric power transmission system that optimizes a given system performance, while satisfying its physical and operating constraints. The Optimal Power Flow problem is modeled as a large-scale mixed-discrete nonlinear programming problem. In most techniques existing in the literature to solve the Optimal Power Flow problems, the discrete controls are modeled as continuous variables. These formulations are unrealistic, as some controls can be set only to values taken from a given set of discrete values. This study proposes a method for handling the discrete variables of the Optimal Power Flow problem. A function, which penalizes the objective function when discrete variables assume non-discrete values, is presented. By including this penalty function into the objective function, a nonlinear programming problem with only continuous variables is obtained and the solution of this problem is equivalent to the solution of the initial problem that contains discrete and continuous variables. The nonlinear programming problem is solved by a Interior-Point Method with filter line-search. Numerical tests using the IEEE 14, 30, 118 and 300-Bus test systems indicate that the proposed approach is efficient in the resolution of OPF problems.

Esquemas baseados em grafos, em diferentes níveis de formalismo, são um forte apelo para a constituição de representações de sistemas complexos e de grande porte aplicados em várias áreas do conhecimento. Este fato responde pelo crescimento acentuado de métodos e representações formais baseadas em grafos e aplicadas em diferentes áreas, especialmente na Engenharia. As Redes de Petri (RdP) constituem um destes métodos, que apareceu em 1962 e desde então tem contribuído para o avanço dos métodos formais para o tratamento de sistemas de controle, sistemas discretos, logística, workflow, cadeia de fornecedores, redes de computadores, e uma variada classe de outros sistemas. Da mesma forma que outras representações formais, as primeiras tentativas de uso prático destas redes estiveram sempre ligadas ao domínio de aplicação, o que levou à criação de várias extensões. Por outro lado, a necessidade de se aplicar a representação em redes para sistemas de grande porte suscitou a discussão sobre as limitações do formalismo e sobre a necessidade de se inserir redes de alto nível. No entanto, todo este desenvolvimento, apesar de sua difusão em diferentes domínios, levantou a discussão sobre a unificação das redes. Desde 1992 a unificação do formalismo das RdPs é discutida pela comunidade acadêmica e, finalmente, no início deste século um padrão ISO/IEC foi proposto. Esta proposta conduz a dois desafios: i) mostrar que um formalismo de redes que seja candidato a ser usado na prática pertença de fato à classe de redes prescrita pelo padrão; ii) participar da discussão sobre a semântica das extensões propondo ambientes computacionais para o uso prático na modelagem e design de sistemas de grande porte. A rede GHENeSys, concebida e desenvolvida no Design Lab da Universidade de São Paulo, é uma rede estendida com conceitos de orientação a objetos, um mecanismo de hierarquia e, até 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ões. Neste trabalho é apresentada uma proposta de ambiente integrado de modelagem para a representação de sistemas a eventos discretos (SEDs) em RdP, baseada em um formalismo enquadrado dentro da norma ISO/IEC 15909 recentemente proposta. Este formalismo é a rede GHENeSys, que terá sua definição estendida utilizando como base a definição das RdPs Coloridas (CPN) com o objetivo de permitir a representação de tipos nas marcas. Um protótipo para testes, resultado da integração de diversos trabalhos desenvolvidos separadamente por membros do D-Lab que nunca foram implementados nem integrados em formalismo único, é apresentado. Este protótipo é utilizado em um estudo de caso com a finalidade de validar de forma prática os novos elementos acrescentados à definição da rede GHENeSys para permitir a modelagem de sistemas utilizando os elementos das RdPs de alto nível. / Graph schemas are a strong approach to the representation (in dierent degrees of formality) of large and complex systems in several areas of knowledge. This fact has provided a continuous growth of methods and new formal schemas, specially in Engineering. Petri Nets(PN) are one of these methods, which appears in 1962 and since then has improved the representation of discrete control, discrete systems, logistics, workflow, supply chain, computer networks, and a variety of other systems. As any other representation, the first attempts to use it in practice were always made in a close relation between the representation and the domain of discourse, openning opportunity for several extensions. Also the need to use it in large systems brought a discussion about the formalism and the need for high level systems. However, all this development, besides the broad use in different domains, rose the need for an unified approach. Since 1992 such unification has been addressed by the scientific community and finally, in the beginning of this century, a ISO/IEC standard was proposed. That proposal also brings two new challenges: i) to show that any proposed net that belongs to Petri Net class proved itself as satisfying the requirements of the standard; ii) to enter the discussions of the semantics of extensions and also provide practical and unified system environments that can really support the design of large and complex systems. In this work, we present a proposal for the developing of an integrated modeling environment for the representation of discrete event systems using Petri Nets. This environment will use an underlying formalism framed within the rules defined recently by the ISO/IEC, in the standard 15909. The formalism to be used will be the GHENeSys net, which will have its definition extended using the definition of the Coloured PN (CPN) as a starting point in order to allow the representation of types within the net tokens. A testing prototype for this integrated modeling environment, result of the integration of several previous works of D-Lab members that were never implemented or integrated in a unique formalism, is presented. This prototype will be used in a case study in order to validate in practical way the new elements added to the definition of GHENeSys, to allow the modeling of systems using the elements of HLPNs.

Seja (X; t) um espaço topológico e seja F a família de todos os subconjuntos de X que satisfazem uma propriedade topológica dada P (invariante por homeomorfismos). Se acrescentarmos abertos novos à topologia e se F\' é a família de todos os subconjuntos do novo espaço que satisfazem a propriedade P, podemos ter que F ≠ F\'. Se isto sempre acontece, dizemos que o espaço (X; t) é maximal com respeito à família F. Neste trabalho estudaremos os espaços topológicos maximais com respeito a algumas famílias de subconjuntos: discretos, compactos, densos, conexos e das sequências convergentes. / Let (X; t) be a topological space and let F be the family of all subsets of X that satisfy a given topological property P (invariant under homeomorphisms). If we add new open sets to the topology and if F\' is the family of all subsets of the new space which satisfy the property P, we can have F ≠ F\'. If this is always the case, we say that (X; t) is maximal with respect to the family F. We show here some characterizations of maximal spaces with respect to the family of some of its subsets: compacts, dense, discrete and convergent sequences.