O uso de técnicas e métodos formais contribui para o desenvolvimento de sistemas confiáveis. No entanto, apesar do rigor obtido, em geral, é necessário que essas técnicas sejam complementadas com atividades de teste e validação. Deve-se ressaltar que o custo para eliminar erros encontrados nas etapas iniciais de desenvolvimento é menor do que quando esses erros são encontrados nas fases posteriores. Dessa forma, é essencial a condução de atividades de VV&T - Verificação, Validação e Teste - desde as primeiras fases de desenvolvimento. Critérios de teste, como uma forma sistemática de avaliar e/ou gerar casos de teste de qualidade e, dessa forma, contribuir para aumentar a qualidade da atividade de teste, têm sido investigados para o teste de especificação de Sistemas Reativos. A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não considerado é a cobertura alcançada, visto que, em geral, a aplicação exaustiva não é viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas. Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos para a descrição e geração de mutantes. Definiu-se um algoritmo para a geração de casos de teste baseado na Análise de Mutantes. No contexto de estudos empíricos, foram conduzidos estudos de caso para avaliar a aplicabilidade e eficácia dos resultados teóricos obtidos. Finalmente, no contexto de automatização, foram desenvolvidas ferramentas de apoio à aplicação da Análise de Mutantes. / The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found in the later phases. Therefore, the accomplishment of VV&T activities - Verification, Validation and Test - starting at the first development phases is essential. Testing criteria, as a systematic way to evaluate and/or generate test cases, contributing, therefore, to improve the quality of the test activity, have been proposed for testing reactive systems specifications. A technique that has been steadily employed for specifying the behavioural aspect of reactive systems is the coloured Petri nets. Although there are several analysis and validation techniques, a usually neglected aspect is the achieved coverage, given that, in general, the exhaustive application is not feasible due to its high cost. Considering the relevance of establishing systematic methods for the test and validation of coloured Petri nets based specification, this work proposes the investigation of the viability of applying Mutation Testing to test coloured Petri nets. In this work three main goals were pursued, which can be grouped in: theoretical studies, empirical studies and tool development. In the context of theoretical studies, it was accomplished the definition of theoretical concepts to enable the application of Mutant Analysis in the context of coloured Petri nets. Moreover, a mutation-based algorithm was defined to generate test sequences for Petri nets. In the context of empirical studies, case studies were carried out to evaluate the applicability and effectiveness of the achieved theoretical results. Finally, in the context of tool development, tools for supporting the application of Mutation Testing were developed.

[pt] Devido ao grande aumento da competitividade e da, cada vez maior, demanda por eficiência, muitas empresas perceberam que é necessário repensar e melhorar seus processos. Para atingir este objetivo, elas têm cada vez mais buscado técnicas computacionais que sejam capazes de extrair novas informações e conhecimentos de suas grandes bases de dados. Os processos das empresas, normalmente, possuem momentos em que uma decisão deve ser tomada. É razoável esperar que casos similares tenham decisões parecidas sendo tomadas ao longo do processo. O objetivo desta dissertação é criar um minerador de decisão que seja capaz the automatizar a tomada de decisão dentro de um processo. A primeira parte do trabalho consiste na identificação dos pontos de decisão em uma rede de Petri. Em seguida, transformamos a tomada de decisão em um problema de classificação no qual cada possibilidade da decisão se torna uma classe. Para fazer a automatização, é utilizada uma árvore de decisão treinada com os atributos dos dados que estão presentes nos logs dos eventos. Um estudo de caso real é utilizado para validar que o minerador de decisão é confiável para processos reais. / [en] Due to the increasing competitiveness and demand for higher performance, many companies realized that it is necessary to rethink and enhance their business processes. In order to achieve this goal, companies have been turning to computational techniques that are capable of extracting new information and insights from their, ever-increasing, datasets. Business processes, normally, have many places where a decision has to be made. It is reasonable to expect that similar inputs have the same decisions made to them during the process. The goal of this dissertation is to create a decision miner that automates the decision-making inside a process. First, we will identify decision points in a Petri net model. Then, we will transform the decision-making problem into a classification one, where each of the possible decisions becomes a class. In order to automate the decision-making, a decision tree is trained using data attributes from the event logs. A real world case study is used to validate that the decision miner is reliable when using real world data.

Há três décadas, os sistemas de informação corporativos eram projetados para apoiar a execução de tarefas pontuais. Atualmente, esses sistemas também precisam gerenciar os fluxos de trabalho (workflows) e processos de negócio de uma organização. Em comunidades científicas de físicos, astrônomos, biólogos, geólogos, entre outras, seus sistemas de informações distinguem-se dos existentes em ambientes corporativos por: tarefas repetitivas (como re-execução de um mesmo experimento), processamento de dados brutos em resultados adequados para publicação; e controle de condução de experimentos em diferentes ambientes de hardware e software. As diferentes características dos dois ambientes corporativo e científico propiciam que ferramentas e formalismos existentes ou priorizem o controle de fluxo de tarefas, ou o controle de fluxo de dados. Entretanto, há situações em que é preciso atender simultaneamente ao controle de transferência de dados e ao controle de fluxo de tarefas. Este trabalho visa caracterizar e delimitar o controle e representação do fluxo de dados em processos de negócios e workflows científicos. Para isso, são comparadas as ferramentas CPN Tools e KEPLER, que estão fundamentadas em dois formalismos: redes de Petri coloridas e grafos de workflow orientados a atores, respectivamente. A comparação é feita por meio de implementações de casos práticos, usando os padrões de controle de dados como base de comparação entre as ferramentas. / Three decades ago, business information systems were designed to support the execution of individual tasks. Todays information systems also need to support the organizational workflows and business processes. In scientific communities composed by physicists, astronomers, biologists, geologists, among others, information systems have different characteristics from those existing in business environments, like: repetitive procedures (such as re-execution of an experiment), transforming raw data into publishable results; and coordinating the execution of experiments in several different software and hardware environments. The different characteristics of business and scientific environments propitiate the existence of tools and formalisms that emphasize control-flow or dataflow. However, there are situations where we must simultaneously handle the data transfer and control-flow. This work aims to characterize and define the dataflow representation and control in business processes and scientific workflows. In order to achieve this, two tools are being compared: CPN Tools and KEPLER, which are based in the formalisms: colored Petri nets and actors-oriented workflow graphs, respectively. The comparison will be done through implementation of practical cases, using the dataflow patterns as comparison basis.

Atualmente as empresas precisam de sistemas ágeis a mudanças constantes do ambiente do negócio e para garantir que os sistemas cumpram com sua finalidade, os desenvolvedores devem possuir uma compreensão mais aprofundada sobre a organização, seus objetivos, metas e estratégias de mercado. O principal problema para o desenvolvimento de sistemas de software tem sido a dificuldade em se obter informações sobre o domínio da aplicação. Essa dificuldade levou ao surgimento de técnicas de modelagem organizacional, sendo uma atividade valiosa para a compreensão do ambiente empresarial. O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão estudados sob uma abordagem baseada em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros. Assim, este trabalho tem como objetivo desenvolver um método de avaliação do modelo de processo de negócio do EKD (MPN-EKD). Por meio desse método é possível verificar se o modelo tem erros de construção e travamentos. Este método pode ser aplicado em modelos direcionados para o desenvolvimento de sistema de informação ou de controle do fluxo de trabalho, e pode ser utilizado também para o estudo de estratégias de trabalho e simulação do fluxo de trabalho. / Nowadays all companies need fast systems and frequent changes on the business environment and to guarantee that the systems are reaching their goals, the developers must have a deeper comprehension of the enterprise, its goals and market strategies. The main problem to the development of software systems has been the difficulty to obtain information about the application domain. This difficulty leaded to the creation of enterprise modeling techniques, which is a valuable activity for the comprehension of business environment. The EKD - Enterprise Knowledge Development - is a methodology that gives a systematic and controlled way to analyze, understand, develop, and document an enterprise. Unfortunately it doesn\'t have syntax neither a semantic well defined, which doesn\'t help on more complex analyses of the models. As a result, the enterprise process model of EKD can be ambiguous and hard to analyze, especially on more complex systems, and also it is not possible to verify the consistency and entireness of the model. On this paper, these problems will be studied under an approach based on Petri nets. Because of the Petri nets formalism this is an important modeling technique to process representation. Furthermore, Petri nets allow the tracking of each step of the operation without ambiguity and also they have efficient methodology for analyses, which guarantee the accuracy of the model. Therefore, this work has the objective to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will make possible the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow, and also can be used to study the strategies of work and workflow simulations.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções. / This paper proposes two test methods for system software testing: the first one extracts test workflow processes from a model developed in Hierarchical Petri Nets and the other validates results after test execution using a domain model in OWL-S. Both processes increase the quality of the system developed by reducing the risk of having an insufficient coverage or an incomplete functionality test. The first technique consists of five steps: i) system evaluation and identification of separable sub modules and entities, ii) identification of states and transitions, iii) system modeling (bottom-up), iv) validation of the created model by evaluating the workflow for each functionality, and v) extraction of test cases using one of the three test coverage presented. The second method must be applied after the execution of the previous method and has also five steps: i) first a system model in OWL (Web Ontology Language) is built containing all significant information and business rules of the application; ii) then, the initial status before the test execution is represented in the model by the insertion of the instances (individuals) presented; iii) after the execution of test cases, the state model is updated by inserting (without deleting already existing instances) new instances to represent the domain sate after test; iv) in the next step we use a reasoner to make OWL model checking inferences to prove model consistency, that is, if there is no error in the application; finally, the initial status instances is compared with the final status in order to verify if these instances have been changed, created or deleted correctly. The process is indicated for blackbox functional tests, but can be easily adapted for white-box tests. There was obtained test cases similar to those that will be obtained in a manual analysis keeping the same test coverage. Validation has proved to be consistent compare to the expected results. Also, the ontological model has showed to be easy and intuitive for maintenance.

O grande avanço das técnicas de Planejamento em Inteligência Artificial fez com que a Engenharia de Requisitos e a Engenharia do Conhecimento ganhassem extrema importância entre as disciplinas relacionadas a projeto de engenharia (Engineering Design). A especificação, modelagem e análise dos domínios de planejamento automático se tornam etapas fundamentais para melhor entender e classificar os domínios de planejamento, servindo também de guia na busca de soluções. Neste trabalho, é apresentada uma proposta de um ambiente integrado de modelagem e análise de domínios de planejamento, que leva em consideração o ciclo de vida de projeto, representado por uma ferramenta gráfica de modelagem que utiliza diferentes representações: a UML para modelar e analisar as características estáticas dos domínios; XML para armazenar, integrar, e exportar informação para outras linguagens (ex.: PDDL); as Redes de Petri para fazer a análise dinâmica; e a PDDL para testes com planejadores. / The great development in Artificial Intelligence Planning has emphasized the role of Requirements Engineering and Knowledge Engineering among the disciplines that contributes to Engineering Design. The modeling and specification of automated planning domains turn out to be fundamental tasks in order to understand and classify planning domains and guide the application of problem solving techniques. In this work, it is presented the proposed integrated environment for modeling and analyzing automated planning domains, which considered the life cycle of a project, represented by a tool that uses several language representations: UML to model and perform static analyses of planning environments; XML to hold, integrate, share and export information to other language representations (e.g. PDDL); Petri Nets, where dynamic analyses are made; and PDDL for testing models with planners.

Falhas são eventos que não podem, pela sua própria natureza, serem totalmente eliminados num sistema de manufatura real. No entanto, a maioria das pesquisas e publicações técnicas nesta área consideram somente a descrição e otimização dos processos “normais” ou processos isolados de tratamento de falhas. Assim este trabalho é uma contribuição no desenvolvimento de uma metodologia de modelagem e análise que considera a detecção e o tratamento de falhas junto com os processos “normais”. A hipótese é que uma adequada abordagem de modelagem e análise de sistemas de manufatura considerando todas estas características é fundamental para melhorar a flexibilidade e autonomia do sistema. Tais sistemas podem ser abordados segundo a perspectiva de sistemas a eventos discretos (DEDS) e dentre as técnicas existentes de representação destes sistemas, destaca-se o potencial das rede de Petri (PN) como uma técnica uniforme de modelagem e análise, a qual permite o estudo e caracterização de diferentes propriedades de um sistema através de um mesmo modelo. Assim, este trabalho introduz uma metodologia, baseada no conceito de redes de Petri, que além da modelagem e a análise dos processos “normais” (de acordo com as especificações funcionais), permite a detecção e tratamento de falhas em sistemas de manufatura de uma forma hierárquica e modularizada utilizando supervisores distribuídos nos equipamentos do chão de fábrica. Esta metodologia considera a integração de três módulos referentes aos processos “normais”, aos processos de detecção de falhas e, aos processos de tratamento de falhas. Através das abordagens “top-down” e “bottom-up” a modelagem de um sistema é desenvolvida em níveis hierárquicos. Estudos de caso de sistemas com estas característica são considerados. Nos modelos desenvolvidos são realizados um estudo analítico e simulações para validar a metodologia proposta. / In a real manufacturing system, failures are events that should be considered. However in this area, most researches consider only the description and optimization of normal processes. This research is a contribution to develop a methodology for modeling and analyzing manufacturing system including normal processes, failure detection, and failure treatment. An approach considering those processes is basic for improving flexibility and autonomy of the systems. These systems can be observed from a point of view of discrete event dynamics systems (DEDS). From this point of view, Petri nets are a powerful tool for modeling and analyzing different characteristics of a system using the same model. In this research a methodology based on Petri nets considering normal process, detection, and treatment of failures in manufacturing systems is introduced. This methodology considers a hierarchical and modular structure. The modular characteristic permits integration of three types of processes: normal, failure detection, and failure treatment processes. The hierarchical characteristic permits to model a system by hierarchical levels (such as factory, manufacturing cell, and equipment) based on top-down and bottom-up approaches, and using distributed supervisors inside of machines on the workshop level. Case studies with these characteristics are considered. On the developed models, analytical and simulation analyses are executed to validate the proposed methodology.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T20:33:17Z No. of bitstreams: 1 CECIR BARBOSA DE ALMEIDA FARIAS - TESE PPGEE 2008..pdf: 3519703 bytes, checksum: 32a6ddd97df6cc8d338729152ef94012 (MD5) / Made available in DSpace on 2018-08-29T20:33:17Z (GMT). No. of bitstreams: 1 CECIR BARBOSA DE ALMEIDA FARIAS - TESE PPGEE 2008..pdf: 3519703 bytes, checksum: 32a6ddd97df6cc8d338729152ef94012 (MD5) Previous issue date: 2008-10-02 / CNPq / Freqüentemente no desenvolvimento de projetos ocorrem desperdícios, defeitos e prazos esgotados. Na área de desenvolvimento de software também percebemos isso com muita ênfase, onde projetos complexos são desenvolvidos com dificuldades, apesar de existirem técnicas, modelos ou ferramentas tradicionais de gestão de projetos. Deadlines são estendidos e o custo do software acaba sendo incrementado significativamente. Os modelos de gestão de projetos tradicionais não são muito adequados a projetos de grande escala e com demanda de curto prazo. As ferramentas de gerenciamento de projetos não dão cobertura ao acompanhamento de processos e projetos (tempos, custos, recursos e atividades) de software simultaneamente. As metodologias de desenvolvimento de software existentes representam muitos avanços para auxiliar no desenvolvimento de sistemas, mas falta uma utilização mais adequada delas nos projetos, de acordo com a complexidade do tipo de aplicação desenvolvida e suas características específicas. Este trabalho é centrado na extensão de uma rede para gerenciamento de projetos, chamada Rede de Atividades, desenvolvida para detalhar informações sobre o desenvolvimento de processos e projetos, calcular e atualizar custos, tempos, especificar recursos humanos e o desenvolvimento de atividades. Esta rede é o componente principal de um ambiente integrado de gerência de desenvolvimento projetos, denominado GDP, considerando o desenvolvimento de projetos em quatro camadas: (1) determinação da metodologia adequada; (2) modelagem da metodologia; (3) modelagem do projeto específico; (4) execução do projeto. Para determinar a qualidade estrutural de uma Rede de Atividades e permitir simulações e cálculos corretos dos custos e prazos de um projeto, foi desenvolvido um tipo especial de rede de Petri, denominado Rede de Projeto, e determinada a conversão de uma Rede de Atividades em uma Rede de Projeto. / Frequently in the development of projects occurs waste of resources, defects and missing deadlines. In the software development area this issue becomes more significant, where complex projects are developed with difficulty, although techniques, models and traditional tools for project management are popular. Deadlines always are extended and the cost of software being developed gowns significantly. The traditional models of project management don‘t fit very well to large projects with a short schedule. The actual project management tools do not cover the track of both processes (times, costs, resources and activities) and software projects. The actual software development methodologies represent many advances to assist a manager into a software development process, but it lacks a more adequate use of them, in accordance with the specific complexity of the type of application being developed and its characteristics. This work is centered in the extension of a net for project management, called Activities Net, designed to track detailed information about the development of processes and projects, calculate and update costs, allocate human resources and schedule activities. This net is the main component of an integrated environment for project development management, called GDP, based on a four-layer approach: (1) determine de best methodology; (2) model the metodology; (3) model the project; (4) execute the project. In order to determine the structural quality of an Activities Net and allow simulations and correct cost a time calculations, a special class of Petri Nets has been developed, called Project Net (NP). Also the mapping of an Activities Net to a Project Net has been defined.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-27T18:13:50Z No. of bitstreams: 1 LUIZ CLÁUDIO ALENCAR DA SILVA - DISSERTAÇÃO PPGEE 2007..pdf: 3068941 bytes, checksum: c6fb80d45b04ea96430f56aef0a5a1f5 (MD5) / Made available in DSpace on 2018-07-27T18:13:50Z (GMT). No. of bitstreams: 1 LUIZ CLÁUDIO ALENCAR DA SILVA - DISSERTAÇÃO PPGEE 2007..pdf: 3068941 bytes, checksum: c6fb80d45b04ea96430f56aef0a5a1f5 (MD5) Previous issue date: 2007-06-11 / Um sistema telerobótico baseado na Internet foi desenvolvido neste trabalho de pesquisa. O sistema consiste de uma interface gráfica de usuário com representação virtual do robô e do ambiente de trabalho, e um painel para programação o -line de tarefas do robô. As tarefas podem ser enviadas via Internet ao ambiente remoto,onde são executados, e o resultado, pode ser visualizado de forma on-line em um ambiente virtual no lado de cliente. O ambiente virtual recebe atualizações via Internet de posições do robô e dos objetos da área de trabalho, permitindo eliminar a necessidade de uma transmissão de imagens de vídeo. Ou so do ambiente virtual neste sistema permite que:(1) atrasos de tempo inerentes à Internet sejam suprimidos; (2) o trabalho do operador seja simplificado e acelerado, se comparado com sistemas que usam imagens de vídeo. Entretanto, os ambientes virtual e físico devem se manter sincronizados de modo que o ambiente virtual possa mapear de forma mais realista o ambiente físico, principalmente se este for dinâmico. Para tratar com essa questão, neste trabalho é apresentada uma solução baseada no uso de redes de Petri para fazer a integração dos ambientes virtual e físico através de técnicas de processamento de imagens, de modo que os mesmos se mantenham sincronizados garantindo atualizações do ambiente virtual para operações subseqüentes. / An Internet-Based-Telerobotic system has been developed in the research here reported. The system consists of a graphic user interface with virtual representation of the robot and of the worksite, and a panel for off-line planning robot tasks. the tasks can be sent via internet to the remote environement, where they are executed, and the result, can be visualized on-line in a virtual environement, at the client side. the virtual environement receives updapes of robot and objects positions at the robot worksite via Internet, thus eliminating the need for a full image transmission. The use of virtual environement in this systems allows: (1) time delays inherent to Internet to be suppressed; (2) work of the operator to be simplified and accelerated, compared to sistems that useTV images. However, the virtual and physical environments have to remain synchronized so that the virtual environment can fit the physical environment in a more realistic way, mainly if it is a dynamic one.To deal with this issue, this work proposes a solution based on Petri nets to do the integration of virtual and physical environments through the image processing techniques, so that they remain synchronized and assuring updates of virtual environment for subsequent operations.

Made available in DSpace on 2016-06-02T19:05:53Z (GMT). No. of bitstreams: 1 3978.pdf: 2293519 bytes, checksum: bebf48e9b57957fa077811d04a5d672e (MD5) Previous issue date: 2010-06-29 / Financiadora de Estudos e Projetos / A Flexible Manufacturing System is a production system where more than one event can occur simultaneously in parallel, asynchronously or concurrently. These are designed to meet the needs of the market, demand for improved product quality, lower costs and shorter delivery times. Due to the complexity and flexibility of these systems, conflicts can occur when more than one process requests the same resource, such as machines or AGVs, or when a product can be produced in more than one production routing. Thus, a conflict resolution policy is needed in this type of environment. This study uses Fuzzy Coloured Petri Nets for modeling a manufacturing system. The manufacturing system is modeled considering the resources, buffers, production routings, AGV routes and identifying conflict points. The conflict resolution is performed considering both information on the shop floor and production management. Fuzzy rules are constructed to prioritize conflicting processes and a fuzzy rule-based system is modeled on Fuzzy Coloured Petri Nets in the same network as the manufacturing system, making the model of the system independent of other systems of support for the resolution of conflicts. In this work we considered the conflicts that can occur when loading and unloading station and the input and output buffer. According to the source of conflict, a rule base is shaped to assign priorities to processes. From this model it is possible to make the control system and ensure that identified conflicts are resolved. / Um Sistema Flexível de Manufatura é um sistema de produção onde mais de um evento pode ocorrer ao mesmo tempo de forma paralela, assíncrona ou de forma concorrente. Estes foram projetados para atender às necessidades do mercado, que demanda por melhor qualidade dos produtos, redução de custos e prazos de entrega menores. Devido à complexidade e à flexibilidade destes sistemas, conflitos podem ocorrer quando mais de um processo requisita o mesmo recurso, como máquinas ou AGVs, ou quando um produto pode ser produzido em roteiros distintos. Assim, uma política de solução de conflito é necessária neste tipo de ambiente. Este trabalho usa Redes de Petri Coloridas Fuzzy para modelar um sistema de manufatura. O sistema de manufatura é modelado considerando os recursos, buffers, roteiros de produção, rotas dos AGV e identificando os pontos de conflitos. A resolução dos conflitos é realizada considerando tanto informações do chão de fábrica quanto da gestão da produção. Regras fuzzy são construídas para atribuir prioridades aos processos conflitantes e um sistema baseado em regras fuzzy é modelado em Redes de Petri Coloridas Fuzzy na mesma rede do sistema de manufatura, tornado o modelo do sistema independente de outros sistemas de apoio para a solução dos conflitos. Neste trabalho foram considerados os conflitos que podem ocorrer na estação de carga e descarga e nos buffer de entrada e saída. De acordo com o ponto de conflito, uma base de regras é modelada para atribuir prioridades aos processos. A partir desta modelagem é possível realizar o controle do sistema e garantir que os conflitos identificados sejam resolvidos.