Made available in DSpace on 2016-12-12T17:38:35Z (GMT). No. of bitstreams: 1 Jeferson Luiz Curzel.pdf: 1882771 bytes, checksum: 229b718911c321b2b3e7c50902897ab2 (MD5) Previous issue date: 2008-06-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents the integration of existing equipment in the Laboratory of Robotics of the UDESC/CCT, to compose a didactic flexible manufacturing cell for which it was resolved a problem of control by applying the Theory of Supervisory Control. The use of this formalism for the development of the project aims to systematize the process controllers in order to spread the use of the methodology in the industries. From the Theory of Supervisory Control were developed models of the equipment of the cell using the representation by automata and after the synthesis of project returned to a supervisor monolithic minimally restrictive, which defines the system (plant) in accordance with a set of specifications imposed by the designer. An extension to the classic theory, called local modular control is also applied in order to exploit the modularity of the plant, where they obtained the local supervisors whose joint action coordinates the global system. The control of the cell is made by a Programmable Logic Controller (PLC), which coordinates the operation of equipment based on the routines of supervision monolithic and local modular. The supervisors were implemented in the PLC in LADDER language and the programming has been structured in blocks, better organization of the program. To improve the implementation of monolithic supervisor in the PLC was developed a software for automatic generation of code, which converts the code of monolithic supervisor directly to the LADDER language of the PLC. / Este trabalho apresenta a integração dos equipamentos existentes no Laboratório de Robótica da UDESC/CCT, de forma a compor uma célula flexível de manufatura didática para a qual foi resolvido um problema de controle aplicando-se a Teoria de Controle Supervisório (TCS). A utilização deste formalismo (TCS) para o desenvolvimento do projeto de controladores visa sistematizar o processo, de forma a disseminar o uso da metodologia junto às indústrias. A partir da TCS foram desenvolvidos os modelos dos equipamentos da célula utilizando-se a representação por autômatos e após a síntese de projeto obteve-se um supervisor monolítico minimamente restritivo, o qual define o comportamento do sistema (planta) de acordo com um conjunto de especificações impostas pelo projetista. Uma extensão à teoria clássica, denominada controle modular local, também é aplicada de forma a explorar a modularidade da planta, onde são obtidos os supervisores locais cuja atuação conjunta coordena o sistema global. O controle da célula é feito por um Controlador Lógico Programável (CLP), o qual coordena o funcionamento dos equipamentos com base nas rotinas de supervisão monolítica e modular local. Os supervisores foram implementados no CLP em linguagem LADDER e a programação foi estruturada em blocos, visando uma melhor organização do programa. Para agilizar a implementação do supervisor monolítico no CLP foi criado um software de geração automática de código, o qual converte o código do supervisor monolítico diretamente para a linguagem LADDER do CLP.

O trabalho a seguir apresenta o desenvolvimento e resultados da pesquisa acerca de modelos de estoques para múltiplos fornecedores, baseado na distribuição de peças de manutenção de empresas de tecnologia no Brasil. Em função de características de demandas erráticas, altos custos das peças e demanda por tempos de entrega reduzidos, costuma-se adotar uma estratégia de distribuir peças em diversos centros de estoques por todo território nacional. Entretanto, manter altos estoques em cada uma das localidades do sistema pode trazer custos elevados. Devido às características da demanda, muitas vezes ocorrem faltas de estoques de itens críticos, que são enviados aos locais de demanda por meio de transportes emergenciais de alto custo e prazos de entregas reduzidos. Entretanto, os modelos convencionais de estoques adotados, não consideram as possibilidades de envios emergenciais em suas formulações, fazendo desta solução uma situação não prevista na modelagem e potencialmente não ótima. A presente pesquisa tem por objetivo desenvolver e avaliar os modelos convencionais de estoques para a situação de múltiplos fornecedores considerando custos e prazos de entregas diferentes, como alternativa para os modelos adotados na distribuição de peças de manutenção. Sua aplicação a outros problemas, inclusive ambientes de múltiplos fornecedores independentemente de diferenças de transportes é imediata. A pesquisa abrange sete modelos, sendo três modelos reativos (reposição da base, reposição do máximo e lote fixo) em regimes de revisão periódica e contínua, e um modelo ativo considerando previsão de demanda. Foi utilizada busca local com simulação de eventos discretos para resolver os modelos propostos. / The present work presents research and development of multiple supplier inventory models, based on the service parts logistics in the technology industry. Because of the lumpy demand characteristics, high costs of parts and low delivery time expectations, a strategy to spread parts inventories all over the country was adopted. However, maintaining high inventory in every location of the system can lead to high costs. Because of the demand characteristics critical items can get unavailable in certain location, which are supplied by emergency shipment from supplying locations with high transportation costs and reduced delivery times. However, the conventional inventory models that are used do not consider the possibility of emergency shipments, leading to potential non optimal distribution of parts. The present research aims to develop and evaluate the inventory models considering multiple transportation modals with different lead times and costs, to serve as an alternative to the current inventory models used. The application to other problems, including different suppliers independent of transportation mode, is immediate. The research covers seven different models: three reactive, (s, S), (S-1, S) and (R, Q) in continuous and periodic review, and one demand prediction based model. Local search and discrete events simulation was used to resolve the models.

A simulação de eventos discretos é uma das mais poderosas ferramentas disponíveis para modelagem e análise de problemas. Freqüentemente ela é utilizada para o planejamento, projeto e controle de sistemas complexos em diversos segmentos; entre eles, a área de sistemas logísticos, que a tem aplicado extensivamente para analisar as capacidades logísticas, avaliar os impactos de mudanças nos processos produtivos, testar diferentes configurações na alocação de recursos limitados, determinar parâmetros das operações, validar novos projetos, entre outras aplicações. Esta popularização da simulação despertou o interesse das empresas especializadas no desenvolvimento de softwares, resultando em diversas opções com diferentes características e custos. Desta forma, identificou-se a necessidade de um método para seleção de softwares de simulação de eventos discretos voltados à resolução de problemas logísticos, pois os trabalhos disponíveis na Literatura abordam somente a escolha de softwares para fins genéricos. Para preencher essa lacuna, foi proposto um conjunto de critérios que endereçam as necessidades específicas do desenvolvimento de modelos voltados à análise de sistemas logísticos. Esses critérios formaram a base do método proposto, que incorporou as melhores características dos trabalhos identificados na Literatura. Sua primeira fase gerou uma lista com os softwares que suportaram os critérios definidos como essenciais por meio da aplicação de um método de atribuição de pesos e pontuação, cuja eficiência e simplicidade são amplamente reconhecidas; já a segunda fase, utilizou o método de análise hierárquica (AHP), recomendado para a tomada de decisão baseada em múltiplos critérios, por permitir a identificação e correção das inconsistências geradas pelo julgamento humano. Dois problemas testes também foram propostos para o desenvolvimento de aplicações em sistemas logísticos e condução de experimentos durante a segunda fase. Os softwares Arena, ProModel e @Risk, extensivamente utilizados para ensino e pesquisa na Escola Politécnica da Universidade de São Paulo, foram avaliados durante a aplicação prática do método proposto. Os resultados obtidos confirmaram a percepção, adquirida durante a segunda fase do método, de que os softwares Arena e ProModel apresentam características semelhantes, dada a discreta diferença em suas pontuações totais. Os diversos cenários desenvolvidos na análise de sensibilidade também ratificaram essa tendência. / The discrete event simulation is one of the most powerful tools available for modeling and problem analysis. Frequently it is used for planning, designing and controlling complex systems in several segments. The logistic system area has also applied it extensively to analyse the logistic capacities, evaluate the impacts of changes in the productive processes, test different configurations in the allocation of limited resources, determine operation parameters, validate new projects, among other applications. Thus, the growth of the simulation awoke the interest of the companies specialized in software development. This fact resulted in several options with different characteristics and costs. Because of this, it was identified the necessity of a selection method for discrete event simulation software dedicated to the resolution of logistic problems. The available works in Literature only approach the choice of softwares for generic purposes. To fill in this gap, a set of criteria that address the specific necessities of the development of models dedicated to the analysis of logistic systems was proposed. These criteria formed the base of the proposed method. It has incorporated the best characteristics of the works identified in Literature. Its first phase generated a list with softwares with widely recognized efficiency and simplicity that supported the essential criteria through the application of a scoring model. Its second phase used the Analytic Hierarchy Process (AHP) which is recommended for the decision taking based on multiple criteria because it allows the identification and correction of the inconsistencies generated by the human judgment. Two test problems have also been proposed for the development of applications in logistic systems and performance of experiments during the second phase. Arena, ProModel and @Risk, extensively used for education and research in the Polytechnical School of the University of São Paulo, were evaluated during the practical application of the proposed method. The results confirmed the perception acquired during the second phase of the method that Arena and ProModel present similar characteristics. They presented a discrete difference in their total score. The several scenes developed in the sensitivity analysis also ratified this trend.

A racionalização no uso dos recursos sempre foi uma preocupação dos gestores de empresas e com a crescente competitividade entre essas organizações, faz-se necessário, portanto, um controle minucioso dos custos. Empresas do ramo florestal lidam todos os dias com problemas desde o nível estratégico, como a decisão de em quais regiões realizarem o plantio das árvores, até o nível operacional, que tem maior impacto sobre as operações diárias e que envolve as decisões de transporte de madeira. Nesse sentido, o investimento em ferramentas que garantam maior eficiência do transporte diário de madeira é considerado como ponto de partida para que essas organizações possam sustentar sua competitividade no mercado. Dessa forma, esta dissertação tem como objetivo dimensionar, através de um modelo de simulação, a frota de caminhões utilizada para o transporte diário de madeira em uma indústria de papel e celulose, com vistas a permitir um fluxo coordenado e constante de matéria prima, comparando o sistema atual com um sistema baseado em uma nova lógica de despacho de caminhões aplicada ao simulador. O modelo de simulação desenvolvido foi construído através do software ARENA® e conta com uma interface de dados construída com o auxílio do Microsoft Excel®, na qual são inseridos, de maneira estruturada, os dados de entrada necessários. Com este modelo, pretende-se auxiliar na solução de um problema operacional de transporte de madeira, uma vez que é possível determinar, em um horizonte de planejamento previamente definido, o tamanho da frota capaz de atender a uma demanda programada, permitindo maior eficiência ao sistema e redução de desperdícios. / The rational use of resources has always been a concern of business managers and the growing competition between companies requires a complex control of costs. Companies in the forestry sector deal with everyday problems from the strategic level, the decision on which regions make the planting of trees, to the operational level, which has a greater impact on the daily operations and decisions involving timber transport. Accordingly, investment in tools that ensure higher efficiency of daily transportation of wood is considered as the starting point for these organizations to sustain their competitiveness in the market. Thus, this thesis is designed to measure, through a simulation model, the fleet of trucks used for daily transportation of wood into a pulp and paper industry, with a view to providing coordinated and constant flow of raw material. The developed simulation model was built by ARENA ® software and has a data interface built with the help of Microsoft ® Excel, in which the input data required are inserted. With this model, we intend to assist in the solution of an operating problem of timber transport, since it is possible to determine the fleet size able to attend a scheduled demand, allowing the system more efficient and reduce waste, in a planning horizon previously defined.

Submitted by Nadir Basilio (nadirsb@uninove.br) on 2017-04-27T18:29:45Z No. of bitstreams: 1 Elizangela de Jesus Gibelati.pdf: 1199243 bytes, checksum: 831f7c88b077b3f5860a082343d6d0e5 (MD5) / Made available in DSpace on 2017-04-27T18:29:45Z (GMT). No. of bitstreams: 1 Elizangela de Jesus Gibelati.pdf: 1199243 bytes, checksum: 831f7c88b077b3f5860a082343d6d0e5 (MD5) Previous issue date: 2015-08-31 / The discrete event simulation is one of the most used techniques in operational research area. It is a support decision technique, in which the search for problem solving is done by analyzing a computer model that describes the behavior of the system under study. Applications of this technique are found in several areas and have very significant results, especially for manufacturing and logistics industry. This paper presents the construction of a simulation discrete event model in the computer system Arena® to analyze a part of the supply chain of a service company, aiming to help define the minimum stock level of material in a distribution center. The adopted simulation approach considers the material as the main entity, and it represents the volume of stock in the links in the chain as lines on the template simulation modules, which simplifies the modeling and gives a uniqueness of character to the proposal. As a result, you can determine the best inventory security levels of in different stochastic demand scenarios with high variability, considering pre-established service levels and uncertainty in delivering the material. / A simulação a eventos discretos é uma das técnicas mais utilizadas na área de pesquisa operacional. Trata-se de uma técnica de apoio à decisão, em que a busca pela solução de um problema é feita pela análise de um modelo computacional que descreve o comportamento do sistema em estudo. Aplicações dessa técnica são encontradas em diversas áreas e apresentam resultados muito significativos, com destaque para a manufatura e logística na indústria. Este trabalho apresenta a construção de um modelo de simulação a eventos discretos, no sistema computacional Arena®, para analisar uma parte da cadeia de suprimentos de uma empresa de serviços, visando auxiliar na definição do nível de estoque mínimo de material em um centro de distribuição. A abordagem de simulação adotada considera o material como entidade principal, e representa o volume de estoque nos elos da cadeia como filas nos módulos do modelo, o que permite simplificar a modelagem e confere um caráter de originalidade à proposta. Como resultado, é possível determinar os melhores níveis de estoque de segurança em diferentes cenários de demanda estocástica com alta variabilidade, considerando níveis de atendimento preestabelecidos e incertezas na entrega do material.

O estudo de sistemas logísticos envolve a concatenação de elementos estratégicos e operacionais, comumente compondo sistemas com múltiplas facetas, objetivos antagônicos e grande número de alternativas. Nesse contexto, o presente trabalho discute a utilização de análise de decisão multicritério (MCDA), simulação de eventos discretos (SED) e otimização para simulação. A metodologia MCDA captura, mensura e pondera os objetivos e valores dos tomadores de decisão. Por sua vez, a SED representa o sistema estudado com alto nível de detalhamento, permitindo a avaliação de diversas configurações do sistema. Por fim, métodos de otimização para simulação possibilitam a busca e comparação de alternativas mais eficientes. As três metodologias são avaliadas, identificando suas vantagens, desvantagens e complementaridades quando aplicadas a sistemas logísticos. Através da aplicação de um estudo de caso sobre o dimensionamento de um sistema de transporte, constatou-se que: a) a SED incorporou detalhes importantes para a avaliação mais precisa de vários indicadores de desempenho b) a metodologia MCDA possibilitou a captura de vários objetivos e valores, propiciando a realização de tradeoffs robustos; c) um método de busca exaustiva e técnicas de redução de variância permitiram a comparação das alternativas em tempos computacionais reduzidos. Por fim, conclui-se que a metodologia híbrida apresentada expande o potencial de aplicação da SED em sistemas logísticos complexos. / A logistic system study involves strategic and operational elements, commonly composing multi-faceted systems with antagonistic goals and large number of alternatives. In this context, this thesis discusses the use of multi-criteria decision analysis (MCDA), discrete event simulation (DES) and optimization for simulation. The MCDA methodology captures, measures and weighs the goals and values of decision makers. DES is useful for representing systems with high level of detail, allowing the evaluation of several system configurations. Finally, optimization for simulation procedures are useful for searching and comparing more efficient alternatives. These three methodologies are assessed and their advantages, disadvantages, and complementarities are identified for logistics systems applications. Through a case study of a transportation system, we conclude that: a) the SED incorporated important details for more precise evaluation of various performance indicators b) the MCDA methodology was useful to capture several goals and values, so that robust tradeoffs could be carried out c) an exhaustive search routine and variance reduction techniques allowed the comparison of several alternatives in feasible computational times. Finally, we conclude that the presented hybrid methodology expands the application of DES to complex logistics systems.

O sistema de proteção técnica contra incêndio (SPTCI) é um dos principais sistemas que compõem o edifício inteligente (EI), pois a eficiência do seu funcionamento afeta diretamente a segurança das pessoas e o patrimônio do prédio. O SPTCI é composto de diferentes dispositivos, estratégias de controle e atua segundo legislação específica. Devido à complexidade do SPTCI, torna-se fundamental uma modelagem adequada que permita verificar a dinâmica do sistema e sua relação com outros sistemas prediais. Neste contexto, este trabalho propõe um procedimento para a modelagem e análise de estratégias de controle para o SPTCI, integrado com outros sistemas prediais dentro do contexto de EI. A abordagem considerada para este propósito baseia-se na teoria dos sistemas a eventos discretos, na aplicação de técnicas derivadas da rede de Petri e em técnicas de análise através de simulação discreta. Com esta abordagem são desenvolvidos modelos do sistema de controle do SPTCI onde é considerada a sua relação com outros sistemas prediais. Particularmente, explora-se as extensões da rede de Petri como as técnicas Production Flow Schema e Mark Flow Graph. Um estudo de caso é apresentado para ilustrar as principais características deste procedimento. / From the point of view of property damage and personal security, the fire protection system (FPS) is one of the most important systems in an intelligent building (IB). The FPS is composed of several devices and control strategies. Furthermore, it must act in accordance with specific laws. As a consequence the design of FPSs is a complex task and it is very important to provide an adequate model that supports the verification of the FPS dynamics and its integration with others building systems, facilitating its test and validation. In this context, this work proposes a procedure to model in a systematic and rational way a FPS in the IB context. Considering the nature of the structure and processes of FPS the approach is based on the discrete event dynamic system theory and the application of the Petri net. Then, the models the FPS control system and the controlled plant must include its integration with other building systems. Particularly, it explores Petri net extensions such as Production Flow Schema and Mark Flow Graph techniques. Through an example it is illustrated the main aspects of the proposed procedure.

Realizar a análise econômica de uma produção agropecuária não é algo trivial, seja pela enorme heterogeneidade entre cada unidade produtiva, seja porque utiliza muitos recursos naturais, alguns de difícil mensuração. Há diversos métodos disponíveis para o cálculo do custo de produção, que é o indicador chave para a análise da viabilidade de um empreendimento. O desafio é permitir que a projeção da atividade no horizonte produtivo seja a mais real e dinâmica possível. A simulação computacional é atualmente uma das mais poderosas ferramentas de análise disponível para o planejamento, projeto e controle de sistemas complexos, e vem sendo cada vez mais utilizada e difundida. Simular compreende a elaboração de um método de experimentação que, através da construção de modelos de um sistema real, procura descrever comportamentos, construir teorias ou hipóteses por meio do observado e predizer comportamentos futuros. O uso de modelos de simulação, que incorporem o risco e a probabilidade dentro produção animal, pode ser uma alternativa tanto técnica - auxiliando na tomada de decisão, gestão e planejamento pecuário, quanto científica - permitindo a avaliação de efeitos de resultados da pesquisa e identificação de limitantes que podem incentivar o desenvolvimento de pesquisas futuras. O modelo de simulação híbrido - baseado em simulação de eventos discretos e baseado em agentes, aqui proposto - visou identificar coeficientes zootécnicos e os critérios de manejo que mais impactam a produção de ovinos de corte. Esse modelo de simulação computacional híbrido possui caráter dinâmico e probabilístico, com eventos marcados no tempo (estação de monta, gestação, parição, desmame, engorda, abate, entre outras) e complexos o suficiente para que seus agentes sofram alterações tanto no tempo quanto em resposta a ocorrência ou não das variáveis ligadas a eles. Os resultados dos experimentos e dos cenários estudados revelaram que dentre os índices zootécnicos das matrizes, a ocorrência de aborto gera maior impacto na taxa de abate e financeiramente na margem líquida operacional. Contudo, analisando as variáveis tanto para matrizes como para cordeiros, a mortalidade neonatal, até os cinco dias de vida dos cordeiros, demonstrou ser o ponto fundamental para a lucratividade da atividade. A estabilização do rebanho foi mais afetada pela presença de matrizes adultas no plantel, que culminaram no aumento no número de cordeiros por matriz. Os resultados da análise dos fluxos de caixa de 30 anos, a uma taxa mínima de atratividade de 6,17% aa, permitiram constatar que iniciar a atividade com número muito reduzido de matrizes é o cenário menos interessantes, com taxa interna de retorno negativa para o período de análise. O estudo do fluxo de caixa permitiu atribuir a 200 matrizes como o tamanho de rebanho inicial mais interessante (TIR = 3,30% aa). Assim, o uso de simuladores híbridos baseados em simulação de eventos discretos e baseados em agentes, para estudos na pecuária nacional, apresentou-se como ferramenta com grande potencial de contribuição, no sentido de permitir conhecer os resultados possíveis das diferentes combinações tecnológicas disponíveis. O modelo ainda permite ser utilizado como ferramenta de estudo e análise para a cadeia produtiva, contribuindo na orientação aos cientistas, auxiliando no direcionamento de seus esforços no desenvolvimento de futuras pesquisas / Conduct an economic analysis of agricultural production is not trivial, either by its enormous heterogeneity between each production unit, or because it uses many natural resources, some of which are difficult to measure. There are several methods available for calculating the cost of production, which is the key indicator for assessing the feasibility of a project. The challenge is to allow the projection of activity in the productive horizon in the most real and dynamic form as possible. The computer simulation is currently one of the most powerful analysis tools available for planning, design and control of complex systems and is being increasingly used and disseminated. Simulate includes the development of a method of testing by building models of a real system, that seeks to describe behaviors, build theories or hypotheses through noted and predicted future behaviors. The use of simulation models that incorporate uncertainty and probability in animal production can be both an alternative technique - assisting in decision-making, management and livestock planning; as scientific - allowing the evaluation of the research results of effects and identification of limiting that may encourage the development of future research. The model of hybrid simulation - based on discrete event simulation and on agent-based, proposed here - aimed to identify factors husbandry and management criteria that most affect the production of meat sheep. The model of hybrid computer simulation have dynamic and probabilistic characteristics, with events scheduled in time (breeding season, pregnancy, parturition, weaning, fattening, slaughter, etc.) and enough complexity that its agents be adversely affected both in time and in response to the occurrence or not of variables linked to them. The results of the experiments and the scenarios studied showed that among the zootechnical indexes of the sheep, the occurrence of abortion generates a greater impact on the slaughter rate and financially in the net operating margin. However, analyzing the variables for both sheep and lambs, neonatal mortality, up to the lambs\' five days of life, proved to be the fundamental point for the profitability of the activity. The stabilization of the herd was more affected by the presence of adult sheep in the herd, which culminated increasing the number of lambs per sheep. The results of the analysis of the 30-year cash flows, at a minimum attractiveness rate of 6.17% per year, showed that starting the activity with a very small number of sheep was the least interesting scenario, with a negative internal rate of return for the analysis period. The study of the cash flow allowed to assign to 200 sheep as the most interesting initial herd size (IRR = 3.30% per year). Thus, the use of hybrid simulators, based on discrete event simulation and agent-based for studies in national livestock, is presented as a tool with great potential to contribute, to allow knowing the possible outcomes of different combinations of available technology. The model also allows to be used as a study tool and assessment of different technological combinations for the production chain, contributing to the guidance of scientists, assisting their efforts in the development of future research

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-04-25T11:55:26Z No. of bitstreams: 1 wolmararaujoneto.pdf: 9045744 bytes, checksum: 685167b5aabc68d680681643c44b7a4e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-04-25T12:12:34Z (GMT) No. of bitstreams: 1 wolmararaujoneto.pdf: 9045744 bytes, checksum: 685167b5aabc68d680681643c44b7a4e (MD5) / Made available in DSpace on 2017-04-25T12:12:34Z (GMT). No. of bitstreams: 1 wolmararaujoneto.pdf: 9045744 bytes, checksum: 685167b5aabc68d680681643c44b7a4e (MD5) Previous issue date: 2014-08-25 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / A presente dissertação tem como objetivo principal desenvolver uma metodologia capaz de auxiliar no projeto e implementação de controles para sistemas a eventos discretos (SED) de forma a otimizar a modelagem, documentação e implantação da planta estudada. Para tanto a definição tradicional de autômato foi alterado para incluir um novo subconjunto de estados obrigatórios, isto é, estados que o sistema deve passar antes de chegar a um estado marcado. Seguindo a modelagem tradicional, cada subsistema é modelado através desta nova abordagem. Em uma segunda etapa, uma nova iteração de análise de cada subsistema é realizada para restringir situações indesejadas do sistema. Com esta fase finalizada os subsistemas são mesclados através de uma técnica tradicional de autômatos em paralelo. O sistema final resultante é apresentado a um otimizador, baseado em PROLOG, que busca a melhor sequência de eventos obedecendo a todas as restrições modeladas e termine no estado marcado informado pelo projeto. Este resultado fornece a Rede de Petri ideal do sistema e sua programação em GRAFCET. Tais métodos serão testados em componentes de um sistema de manufatura flexível real. / The present master thesis has as its main goal to develop a methodology able to assist in design and implementation of discrete event system (DES) controllers in order to optimize the modeling, documentation and deployment of plant in study. To do so the automaton traditional concept was changed to include a new subset of mandatory states, i.e. states that the system should pass before reach a marked state. Following the traditional modeling, each subsystem is modeled using this new approach. In a second step, a new iteration of analysis of each subsystem is performed to restrain system’s unwanted situations. At the end of this step the subsystems are composed by a traditional parallel automatons technique. The resulting system is presented to an optimizer, based in PROLOG, which searches the best event sequence obeying to all modeled restrictions and ends in the marked state defined in design. This result provides the ideal Petri Net of the system and its GRAFCET programming. Such methods will be tested in a flexible real manufacturing system.

[pt] Os sistemas de agendamento de consultas tradicionalmente realizam as marcações dos pacientes em intervalos fixos de tempo, sem levar em consideração diversos fatores de complexidade do sistema de saúde. Isso pode causar mão de obra ociosa em alguns períodos do dia e longas filas de espera de pacientes em outros momentos. Nesse contexto, esta dissertação tem como intuito propor uma nova política de agendamento para uma clínica especializada em cirurgia bariátrica do Rio de Janeiro, considerando os fatores desse sistema: tempos de serviços estocásticos, impontualidade do paciente, atrasos e interrupções do serviço, e presenças de no-shows. Esta dissertação analisou diversos cenários com overbooking (marcação de pacientes adicionais), e testou as principais políticas por meio de simulação, propondo a mais adequada para a clínica. As 18 políticas de agendamento aplicadas foram encontradas através de uma extensa revisão sistemática da literatura. Com a utilização da política de agendamento OFFSET, foi possível aumentar o número de atendimentos em 30 por cento para o agendamento do principal provedor da clínica, mantendo o nível de serviço prestado. Além disto, foi proposta uma nova política de agendamento, denominada DOME CYCLE, que teve resultados superiores às demais políticas da literatura na média dos cenários realizados. / [en] Appointment-scheduling systems traditionally schedule patient appointments at fixed intervals, without taking into account several complexity factors of health-care system. This schedule can make the server idle at certain times of the day and can produce long queues of patients at other times. In this context, the objective of this study is to propose a new scheduling policy for a clinic specialized in bariatric surgery in Rio de Janeiro, considering the following factors of this system: stochastic service times, patient unpunctuality, delays and interruptions of the provider and presences of no-shows. This study analyzed several scenarios with overbooking, and tested the main policies with a simulation model, proposing the most appropriate for the clinic. The 18 scheduling policies applied were found through an extensive systematic review of the literature. With the use of the OFFSET scheduling policy, it was possible to increase the number of appointments by 30 percent to the scheduling of the main clinic provider, maintaining the level of service provided. In addition, a new scheduling policy, called DOME CYCLE, was proposed, which has outperformed the other policies in the average of the tests performed.