Made available in DSpace on 2016-06-02T19:05:40Z (GMT). No. of bitstreams: 1 2733.pdf: 1056937 bytes, checksum: 42fea813ed397029b2e24a21fad4ea51 (MD5) Previous issue date: 2006-10-15 / The production sequencing is an area of great importance in Production Planning and Control, because businesses are looking for higher productivity and competitivity, in order to meet the demands and expectations of their respective markets. To hasten and to be flexible the production processes through efficient production sequencing contributes to satisfy this market. Simulation technologies have been used to model, plan and control complex manufacturing systems. To accomplish the production sequencing in these environments, with the support of the simulation, it is necessary to reduce the total amount of simulated scenarios and evaluate the simulation results. Artificial Intelligence techniques can help these tasks. This work has proposed an intelligent system for production sequencing, supported by simulation techniques and Artificial Intelligence. This goal is based on ideas already studied in the research group of the Computer Science Department at Federal University of São Carlos. The system was implanted and many tests were accomplished. First, some sequences are selected with products that are able to enter the production system. Then the sequences are simulated and, forward, put on action an estimate process that classifies them. To run the tests was considered a specific Flexible Manufacturing System (FMS). / O seqüenciamento da produção é uma área de fundamental importância dentro do Planejamento e Controle da Produção, pois empresas buscam alta produtividade e competitividade, visando atender as expectativas do seu mercado consumidor. Tornar ágeis e flexíveis os processos produtivos, por meio de um eficiente seqüenciamento da produção, contribui muito para satisfazer este mercado. Tecnologias de simulação têm sido utilizadas para modelar, planejar e controlar ambientes complexos de manufatura. Para realizar o seqüenciamento da produção nesses ambientes, com a ajuda de simulação, é necessário reduzir a quantidade total de cenários simulados e avaliar os resultados da simulação. Técnicas de Inteligência Artificial podem auxiliar nessas tarefas. Este trabalho teve como proposta desenvolver um sistema inteligente para o seqüenciamento da produção, com a ajuda de técnicas de simulação e Inteligência Artificial. Tal objetivo se apoiou em técnicas já trabalhadas no grupo de pesquisa do Departamento de Computação da Universidade Federal de São Carlos. O sistema foi implementado e diversos testes foram realizados. Inicialmente, são selecionadas algumas seqüências com produtos que estão aptos a entrar no sistema produtivo. Simulam-se tais seqüências e, em seguida, aciona-se um processo de avaliação que as classifica. Para a realização dos testes foi considerado um Sistema Flexível de Manufatura (FMS) específico.

Made available in DSpace on 2016-06-02T19:05:50Z (GMT). No. of bitstreams: 1 3678.pdf: 5394148 bytes, checksum: 4abd3e7ce4acac9d5890eae3620c06d3 (MD5) Previous issue date: 2011-06-14 / Financiadora de Estudos e Projetos / In recent years, most companies apply techniques of industrial automation with the goal of increasing its efficiency. Increasingly Automated Guided Vehicles (AGVs) are used to transport work in factories and warehouses. The management of these AGV is the key to an efficient transport system. One of the main problems encountered in the management of AGV is the dispatching decision. This work proposes a method of dispatching of AGV with the ability to optimize the performance of flexible manufacturing systems (FMS) in real time. In the dispatching deciding can be chosen to optimize two objectives: makespan or tardiness. When the goal is to optimize the makespan are evaluated variables: distance, number of nodes, the input buffer and output buffer of the workstation. When the goal is to optimize the tardiness are evaluated variables: distance, number of nodes, task chaining, date of delivery. In both cases are also considered the time of the AGVs and the processing times of the workstations, so you can anticipate some decision-making. To perform the tests we used the softwares: Matlab, CPNtools and Automod, which allow simulations of how the method works dispatching AGVs before the method is implemented in factories. Based on the tests, we analyzed the improvement in makespan and tardiness compared to other studies, but also the flexibility of the method in which it is possible to exchange goals in operating time. / Nos últimos anos, mais empresas aplicam técnicas de automação industrial com o objetivo de aumentar sua eficiência. Cada vez mais Veículos Auto Guiados (AGVs) são usados para tarefa de transporte em indústrias e armazéns. O gerenciamento desses AGVs é a chave para um sistema de transporte eficiente. Um dos principais problemas encontrados no gerenciamento dos AGVs é a decisão de despacho. Esse trabalho propõe um método de despacho de AGV com capacidade de otimizar o desempenho de Sistemas Flexíveis de Manufatura (FMS) em tempo real. Na tomada de decisão do despacho podem ser escolhidos dois objetivos para otimização: makespan ou tardiness. Quando o objetivo é otimizar o makespan são avaliadas as variáveis: distância, número de nós, buffer de entrada e buffer de saída das estações de trabalho. Quando o objetivo é otimizar o tardiness são avaliadas as variáveis: distância, número de nós, encadeamento de tarefas, data de entrega do produto. Em ambos os casos também são considerados os tempos dos AGVs e os tempos de processamento das estações de trabalho, para que seja possível adiantar algumas tomadas de decisões. Para realizar os testes foram usados os softwares MatLab, CPNtools e Automod, os quais permitem que simulações do funcionamento do método de despacho de AGVs antes que o método seja implementado em fábricas. Com base nos testes realizados, analisou-se as melhoras no makespan e tardiness em comparação com outros trabalhos, como também a flexibilidade do método no qual é possível a troca de objetivos em tempo de operação.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.

Made available in DSpace on 2016-06-02T19:05:33Z (GMT). No. of bitstreams: 1 DissMCF.pdf: 2219656 bytes, checksum: f83a921d0c03343b903f3ee4976cb75e (MD5) Previous issue date: 2004-08-20 / In the search for competitive advantages, companies of the manufacture industry segment have been investing in the production flexibility and processes automation, looking for assisting a variety of types of products, following a demand for products and with few manual interventions. In this context, tasks like manufacture integration and production planning and management become more complex. The search for solutions in these tasks should always take into account the desired performance of the productive system, in relation to a series of factors like the attendance of delivery dates. Among the planning tasks, the present proposal is to help the production sequencing. This sequencing can be accomplished in several ways as, for instance, using priority rules. Discrete event systems simulation can be used to test different acceptable sequences of production evaluating the conditions or scenarios. However the simulation typically takes long time, not only to run the models but also for the analysis of the obtained data. To deal with the sequencing task due to situations that happen in moments not determined, the time to analyze or define a new arrangement is a very important factor and needs to be short. This proposal presents a system using fuzzy logic, for the evaluation of data obtained from the simulation of scenarios, considering shop floor conditions, to the production sequencing, in order to take a lower time for the evaluation task. / Na busca por vantagens competitivas, empresas do setor de manufatura têm investido na flexibilidade de produção e automação de processos, procurando atender a uma variedade de tipos de produtos, seguindo a demanda por produtos e com baixa intervenção manual. Neste ambiente, tarefas de integração da manufatura, planejamento e gerenciamento da produção, entre outras, tornam-se cada vez mais complexas. A busca por soluções nestas tarefas deve sempre levar em consideração o desempenho desejado do sistema produtivo, em relação a uma série de fatores como, por exemplo, o atendimento de prazos de entrega. Dentre as tarefas de planejamento, a presente proposta atua no seqüenciamento da produção. Este seqüenciamento pode ser realizado de diversas maneiras como, por exemplo, pelo uso de regras de prioridade, visando uma expectativa de resultados. Fazendo-se o uso de simulação de sistemas de eventos discretos, é possível testar diferentes seqüências admissíveis de produção, avaliando-se o desempenho para cada condição ou cenário. Entretanto o uso de simulação tipicamente necessita um tempo relativamente alto, não somente para as chamadas corridas de simulação mas também pelo tempo necessário para análise dos dados obtidos. Para tratar o seqüenciamento diante de situações que ocorrem em momentos não prédeterminados, o tempo de resposta na análise ou de definição de um novo arranjo é um fator muito importante e necessita ser relativamente baixo. Esta proposta apresenta um sistema computacional usando lógica nebulosa, para avaliação de dados obtidos na simulação de cenários representativos de condições de chão de fábrica, para o re-seqüenciamento da produção, buscando reduzir o tempo de avaliação.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-02-15T15:02:41Z No. of bitstreams: 2 Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-16T09:38:12Z (GMT) No. of bitstreams: 2 Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-02-16T09:38:12Z (GMT). No. of bitstreams: 2 Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-01-30 / This master's thesis seeks to contribute to the automation of production lines, and proposes a methodology for the formal verification of flexible manufacturing models by the Petri-PDL tool. The Petri-PDL framework is based on a multimodal logic associated with a scheme defined for the problem with the Petri nets to specify and model sequential problems demonstrating in logical proofs the correctness of properties inferred by the model. This formal treatment is adapted for the treatment of flexible sequential processes, since these models are used in many other applications with Petri nets. They will be considered models of flexible production system found in the systematic review to evaluate the efficiency of its model and its adaptation to this formal refinement. / Este trabalho busca contribuir com a automação de linhas de produção e propõe uma metodologia para a verificação formal de modelos de manufatura flexível a partir da ferramenta Petri-PDL. O conceito Petri-PDL baseia-se em uma lógica multimodal associada ao esquema definido para o problema com as redes de Petri para especificar e modelar problemas sequenciais demonstrando em provas lógicas a corretude de propriedades inferidas pelo modelo. Este tratamento formal será adaptado para o tratamento de processos sequenciais flexíveis, uma vez que estes modelos são usados em muitas outras aplicações com redes de Petri. Serão considerados modelos de sistema de produção flexível encontrados na revisão sistemática para avaliar a eficiência de seu modelo e sua adaptação a este refinamento formal.

Made available in DSpace on 2016-06-02T19:05:23Z (GMT). No. of bitstreams: 1 DissEGRM.pdf: 5921557 bytes, checksum: 89005165cd9d839d8283e0713abe1fb8 (MD5) Previous issue date: 2005-05-30 / Financiadora de Estudos e Projetos / The Petri Net based Search has been shown as a promising way to solve Flexible manufacturing Systems (FMS) Scheduling Problem. However, the response time is critical since it s a system with high computational complexity. Focusing the reduction of response time, this work proposes a heuristic for Petri Net based Search to solve FMS Scheduling problem of makespan minimization. Experiments showed improvements on response time reduction comparing with prior works / Abordagens de Busca baseadas em Rede de Petri (PN) têm sido mostradas como uma forma promissora de resolver o problema da Programação da Produção de Sistemas Flexíveis de Manufatura (FMS). Entretanto, o tempo de resposta é crítico, uma vez que se trata de um sistema de alta complexidade computacional. Focando a redução do tempo de resposta do sistema, este trabalho propõe uma heurística para busca baseada em Rede de Petri para resolver o problema de programação de FMS na minimização do makespan. Experimentos mostraram um avanço na melhoria do tempo de resposta em relação a trabalhos anteriores

Made available in DSpace on 2016-06-02T19:05:49Z (GMT). No. of bitstreams: 1 3569.pdf: 2552721 bytes, checksum: b67cadf34336e157d59bd554dfc7534e (MD5) Previous issue date: 2006-05-29 / An Automated Manufacturing System (AMS) is a production system where a discrete number of raws is processed and assembled by controlled machines and/or robots. Controlling AMS is a complex task, due to the several sub-systems that compose it and the need for attending strategic production issues and market. The AMS control complexity increases with the necessity of production and technologic resources. The studies related to AMS control normally consider specific features of the system. Some authors propose solutions considering architecture, some others consider approaches by modular nets, others consider mathematic analysis; and so, each study has its contribution in a specific point. This work considers a wider set of features related to the problem of modeling AMS control. It is presented different options of architecture, different ways to concern hierarchically about the problem, the use of Petri Nets as a way to represent graphically the problem conserving the mathematic formalisms, simulation, and the use of a graphic software that treat all the options before. The proposal of this work is indicate a modeling method for AMS control that considers all features related to its control. This method proposes eight elaboration stages of the model. The stands consider the elements in a specification level more generic and, gradually, they are more detailed. In some stands, simulations are applied with the objective of validate what has been modeled. The work ends with the application of the method to a hypothetic FMS. It is considered a production planning for five types of products in determined quantities. The method application is considered effective, since trough the simulation of the model, it can be verified that all the products are produced according to the production plan proposed and that eventual deadlocks and conflicts can be avoided. / Um sistema automático de manufatura (AMS) é um sistema de produção onde um número discreto de matérias-primas é processado e montado por máquinas controladas e/ou robôs. Fazer o controle de um AMS é uma tarefa complexa pela existência de vários subsistemas e elementos que o compõem, e também pela necessidade de responder a questões estratégicas de produção e mercado. A complexidade de controle de AMS aumenta com as necessidades de produção e recursos tecnológicos. Os trabalhos relativos a controle de AMS normalmente consideram características específicas do sistema. Alguns autores propõem soluções considerando a arquitetura, outros consideram abordagens por redes modulares, alguns consideram análise matemática; e assim, cada trabalho faz sua contribuição em um ponto mais especifico. Este trabalho busca considerar um conjunto mais abrangente de características inerentes ao problema de modelagem de controle de AMS. Nele são apresentadas várias abordagens inerentes às diversas características encontradas em um AMS. São mostradas diferentes opções de arquiteturas, formas diferentes de abordar hierarquicamente o problema, o uso de redes de Petri como forma de representar graficamente o problema conservando o formalismo matemático, simulação, e o uso de um software gráfico que contemple todas as opções anteriores. A proposta do trabalho é indicar um método de modelagem de AMS que considere as características inerentes ao seu controle. Este método propõe oito etapas de elaboração do modelo. As etapas consideram os elementos em um nível de especificação mais genérico e que, gradualmente, vão sendo mais detalhados. Em algumas etapas são feitas simulações no intuito de validar o que já tenha sido modelado. O trabalho chega ao fim com a aplicação do método de modelagem sobre um FMS hipotético. É considerado um planejamento da produção para cinco tipos de produtos em quantidades determinadas. A aplicação do método se mostra eficaz uma vez que, através da simulação do modelo, pode-se verificar que todos os produtos são fabricados conforme o plano de produção proposto e que eventuais deadlocks e conflitos podem ser evitados.

Made available in DSpace on 2016-06-02T19:06:03Z (GMT). No. of bitstreams: 1 4911.pdf: 4490259 bytes, checksum: 94cfbdb804ef2f55cb81e1163b1c6ad4 (MD5) Previous issue date: 2011-07-01 / Universidade Federal de Sao Carlos / Resources sharing is one of the main characteristics of Automated Manufacturing Systems (SMA), this characteristic can be a synonym of advantages but on the other hand it may lead to the problem of deadlock. Several papers have suggested methods and techniques to reduce or eliminate the occurrence of deadlocks in SMA systems. The deadlock resolution strategies suggested in the literature can be classified into the following types: deadlock detection and recovery, deadlock prevention and deadlock avoidance. This work proposes a resolution method for the control of automated manufacturing systems using colored Petri nets, the main goal of the proposed method is to provide a deadlock-free production controller. To model, simulate and implement the technique in a production controller a dedicated software is used to model the Petri Nets. Initially, a model using Colored Petri Nets is proposed, then changes in the model are introduced in order to eliminate the deadlocks, resulting in a Colored Petri net control model of the SMA. Finally the model is implemented in the scenario of a Flexible Manufacturing System for testing and validation of the method. / O Compartilhamento de recursos é uma das principais características dos Sistemas de Manufatura Automatizados (SMA), esta característica pode ser um sinônimo de vantagens, mas por outro lado pode levar ao problema de deadlock. Diversos trabalhos têm sugerido métodos e técnicas para reduzir ou eliminar a ocorrência de deadlocks em SMA. As estratégias de resolução de deadlock sugerido na literatura podem ser classificados nos seguintes tipos: detecção e recuperação de deadlocks, prevenção de deadlocks e de deadlock. Este trabalho propõe um método de resolução para o controle de sistemas de manufatura automatizados utilizando redes de Petri coloridas, o principal objetivo do método proposto é obter um controlador da produção livre de deadlocks. Para modelar, simular e implementar a técnica em um controlador de produção um software dedicado é usado para modelar a rede de Petri. Inicialmente, um modelo usando Redes de Petri Coloridas é proposto, então mudanças são introduzidas, a fim de eliminar os deadlocks, resultando em um modelo de rede de Petri de um SMA livre de deadlock. Finalmente o modelo é implementado no cenário de um Sistema de Manufatura Flexível para testes e validação do método.

Made available in DSpace on 2016-06-02T19:06:23Z (GMT). No. of bitstreams: 1 DissJCD.pdf: 3954079 bytes, checksum: 63ef4f081a962ca21478327fb623632d (MD5) Previous issue date: 2004-08-25 / Flexible manufacturing systems (FMS) have been designed to meet market requirements that demand products that are quality and ready to deliver. In order to meet the market requirements, the methodologies used in the FMS scheduling must consider a highly dynamic environment, where it is often necessary to meet or to react to uncertain demands and to get better use of its resources. An on-line scheduling procedure based on fuzzy logic is proposed in this work, whose main characteristic is shop floor tasks scheduling using fuzzy rules building with the support of an expert to meet several measures of performance. A simulation study was carried out with the objective to verify the applicability of the proposed approach, using a simulation tool integrated with the on-line scheduling procedure based on fuzzy logic. / Os sistemas flexíveis de manufatura (FMS) têm sido projetados para atender as necessidades do mercado, que demandam por produtos que apresentam qualidade e prazos de entrega pequenos. Para atender as necessidades do mercado, as metodologias usadas na programação de operações de FMS devem considerar um ambiente altamente dinâmico, onde é frequentemente necessário atender ou reagir a demandas incertas e fazer o melhor uso de seus recursos. Um procedimento de programação on-line baseado em lógica fuzzy é proposto neste trabalho, cuja característica principal é programar as tarefas do chão de fábrica utilizando regras fuzzy construídas com o apoio de um especialista para atender a várias medidas de desempenho simultaneamente. Um estudo por meio de simulação foi realizado com o objetivo de verificar a aplicabilidade da abordagem proposta, utilizando uma ferramenta de simulação integrada ao procedimento de programação on-line baseado em lógica fuzzy.