Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T06:59:47Z (GMT). No. of bitstreams: 1 231435.pdf: 865334 bytes, checksum: 24c331fb973e91347c8238c95e8b3a28 (MD5) / A Aquisição de Conhecimento em Sistemas Multiagentes Cognitivos, além de estar sujeita às dificuldades de um processo convencional de desenvolvimento segundo uma abordagem baseada em conhecimento, deve ainda supor a imersão do agente em uma sociedade, cujo modelo de mundo deve considerar as mudanças impostas pelos outros membros do sistema. Não obstante, a aquisição de conhecimento é, ainda hoje, viabilizada sem uma metodologia ou sistemática padrão, sujeita às especificidades de cada domínio. Neste trabalho, propõe-se uma metodologia de aquisição de conhecimento para sistemas multiagentes cognitivos baseado em um modelo de cognição genérico, utilizando Redes de Petri como linguagem de especificação. As principais características deste modelo são a estruturação do conhecimento de um domínio em diferentes níveis de abstração, a utilização de uma linguagem única desde a especificação social até a especificação inidividual no nível de ações no ambiente, e a capacidade de adaptação a qualquer formalismo de representação de conhecimento. Os principais méritos do modelo foram o deslocamento do foco do projeto para o nível de conhecimento do sistema, permitindo que engenheiro de conhecimento e especialista interajam independente dos aspectos de implementação. Além disso, o nível de especificação social permite uma maior flexibilidade de ações por parte dos agentes, devido ao modelo de coordenação adotado, garantindo maior robustez ao sistema. Este modelo é empregado na Expert-Coop++, um arcabouço para o desenvolvimento deste tipo de sistema e foi implementado no desenvolvimento de uma equipe de futebol de robôs, o UFSC-Team, segundo as diretrizes da Robocup.

Orientador : Prof. Dr. Marcos Castilho / Co-orientador : Prof. Dr. Luis Allan Künzle / Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 26/02/2016 / Inclui referências : f. 105-108 / Área de concentração: Ciência da Computação / Resumo: Sistemas reais modeláveis como sistemas dinâmicos a eventos discretos têm, em seu comportamento, fortes restrições temporais. As redes de Petri temporais são uma importante ferramenta de modelagem e análise desses sistemas. Entretanto, os principais métodos de análise existentes na literatura trabalham por enumeração exaustiva do espaço de estados, com alta complexidade computacional, sobretudo em situações de forte concorrência e paralelismo. Estes método também não são adequados para a análise de roteiros de comportamento, aumentando a imprecisão temporal dos resultados de análise, tornando-os inusáveis. O trabalho desenvolvido nesta tese consistiu em aprimorar duas abordagens já existentes, o desdobramento de redes de Petri e a análise por tempo global, de forma a superar estas limitações. O desdobramento, desenvolvido para redes de Petri sem considerações temporais, consiste em gerar uma rede de ocorrência, finita e acíclica, que contém todos os estados acessíveis da rede original, mas com um custo computacional significativamente menor. Entretanto, sua aplicação direta em redes de Petri temporais perde sequências de disparo de transições válidas e gera outras inválidas, considerando as restrições temporais da rede. A parte inicial deste trabalho teve como foco inicial identificar as limitações do uso do algoritmo original de desdobramento em redes de Petri temporais, para em seguida conceber e formalizar um procedimento de desdobramento que seja aplicável a redes temporais. Este procedimento tem como base o algoritmo original, mas já incorpora em sua estrutura elementos de análise temporal. O novo método de desdobramento obtido foi denominado de "desdobramento temporal" e a rede por ele gerada contém todas as classes de estados da rede temporal, assim como todos os caminhos ou roteiros de comportamento resultantes da dinâmica da rede. O resultado será validado mediante provas e também será apresentado um exemplo de aplicação do novo método. A segunda parte deste trabalho de pesquisa foi dedicada a construir uma metodologia de análise temporal, sobre a rede desdobrada, utilizando o método de tempo global. Este método permite a análise de roteiros de comportamento, ou sequências de disparo de transições, sem aumentar a imprecisão dos resultados e é destinado a redes acíclicas. Ou seja, adequado à rede desdobrada. A metodologia de análise proposta permite avaliar temporalmente qualquer roteiro de comportamento entre as diferentes classes de estados temporais. Os resultados obtidos foram comparados com as metodologias já existentes. Palavras-chave: Redes de Petri temporais, desdobramento temporal, análise temporal, tempo global. / Abstract: Real systems formable as dynamic discrete event systems have, in their behavior, strong time constraints. The time Petri nets are an important modeling tool and analysis of these systems. However, themainmethods existing of analysis in the literature works by exhaustive enumeration of the state space, with high computational complexity, especially in strong situations of concurrence and parallelism. Also this methods are not suitable for analysis of behavioral scripts, increasing the temporal imprecision of analysis results, making them unusable. The work in this thesis was to improve two existing approaches, the unfolding of Petri nets and the analysis by global time, concerning to overcome these limitations. The unfolding, developed for Petri nets without temporal considerations, consits in generate an occurrence net, finite and acyclic, that contain all accessible states of the original net, but with a significantly lower computational cost. Nonetheless, its direct application in time Petri nets loses the transitions firing sequences valid and generates others invalid considering the temporal net constraint. The initial part of this work had like initial focus an identification of limitations the use original algorithm of unfolding in time Petri nets, and then, develop and formalize an unfolding procedure that applies to time net. This procedure is based on the original algorithm, but it already incorporates in its structure temporal analysis elements. The new obtained unfolding method was called "timing unfolding" and the net generated contains all states class of time net, as well as all paths or behavior scripts resulting from the dynamic of the net. The result will be validated by proofs and it will be presented by an application example of the new method. The second part of this research work was dedicated to build a temporal analysis method on the unfolded net, using tthe global time method. This method allows the scripts analysis behavior, or transitions firing sequences without increasing the inaccuracy of the results and is intended to acyclic nets, that is, suited to unfolded net. The analysis methodology proposed allows to assess, temporally, any behavior script between different time states class. The results were compared with the existing methodologies. Keywords: Time Petri nets, timing unfoldings, timing analysis, global time.

Orientador : Prof. Dr. Marcos Castilho / Coorientador : Prof. Dr. Luis Allan Künzle / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 15/07/2016 / Inclui referências : f. 55-57 / Área de concentração : Ciência da computação / Resumo: Nas últimas décadas, redes de Petri têm sido amplamente utilizadas como ferramenta para modelar, analisar, simular e avaliar o comportamento e desempenho de sistemas com peculiaridades de sincronização, concorrência e compartilhamento de recursos, como sistemas de manufatura, robótica, sistemas de tempo real entre outros. Um dos problemas enfrentados durante a modelagem desses sistemas está na explosão combinatória do número de estados, o que inviabiliza qualquer método de análise que tenha como base a enumeração desses estados, como o grafo de alcançabilidade. McMillan desenvolveu uma técnica conhecida como desdobramento - unfolding, a qual gera uma nova rede, de complexidade menor que a do grafo de alcançabilidade, que permite evitar análises enumerativas em sistemas modelados por redes de Petri. Em 2002, o algoritmo de McMillan foi aperfeiçoado por Esparza, Römer e Vogler, sendo criado o algoritmo ERV Unfolding, implementado nas ferramentas CUnf, MOLE e PUnf. Essas ferramentas são soluções específicas stand-alone, tendo como desvantagem a complexidade dos algoritmos e a consequente dificuldade de manutenção, prejudicando a alteração dos códigos para estudos e simulação de redes de Petri em ambientes distintos. A abordagem matricial de uma rede de Petri permite com maior facilidade, o estudo das propriedades estruturais e comportamentais da rede, sendo inclusive um facilitador para a implementação de um algoritmo de desdobramento, uma vez que a técnica será implementada através de operações matriciais. A abordagem matricial permite também a simulação e validação de projetos, visando minimizar falhas ou interrupções (deadlocks) do sistema. Assim, a presente proposta de dissertação tem como objetivo construir uma abordagem matricial para o desdobramento em redes de Petri, implementando-a como um módulo da ferramenta MATLAB. As implementações serão validadas através de estudo de caso, sendo posteriormente avaliados os resultados obtidos e as limitações da ferramenta em relação aos algoritmos citados. Palavras-chave: Redes de Petri, desdobramento, algoritmos, MATLAB. / Abstract: In recent decades, Petri nets have been widely used as a tool to model, analyze, simulate and evaluate the behavior and performance of systems with synchronization peculiarities, competition and resource sharing, as manufacturing systems, robotics, real-time systems among others. One of the problems faced during the modeling of these systems is the combinatorial explosion of the number of states, which prevents any method of analysis which is based on the enumeration of these states, as the states of reachability graph. McMillan created a technique known as split - unfolding, which generates a new network, complexity lower than the reachability graph, thus avoiding enumerative analysis systems modeled by Petri nets. In 2002, the algotirmo McMillan was perfected by Esparza, Römer and Vogler, being created the ERV Unfolding algorithm, implemented in CUnf, MOLE and PUnf tools. These tools are specific stand-alone solutions, with the disadvantage of the complexity of the algorithms and the consequent difficulty of maintenance, damaging the change of codes for studies and simulation of Petri nets in different environments. The matrix approach of a Petri net with greater ease allows the study of the structural and behavioral properties of the network, including being an enabler for implementing an unfolding algorithm, since the technique is implemented using matrix operations. The matrix approach also allows the simulation and design validation to minimize failures or interruptions (deadlocks) system. The proposed thesis aims to build a matrix approach for deployment on Petri nets, implementing it as a module of MATLAB tool. The implementations will be validated through case studies, and later evaluated the results and the limitations of the tool relative to those cited algorithms. Keywords: Petri net, unfolding, algorithm, MATLAB.

A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a modelar processos médicos, desenvolvida em cooperação com o Politécnico de Milão.. Esta notação disponibiliza aos médicos elementos simples e intuitivos para representar os modelos de diagnóstico. Simultaneamente um modelo de Redes de Petri Temporizadas é gerado automaticamente. Deste modo os modelos de LEMMA podem ser validados e analisados através de simulações e testes.O objetivo desta dupla modelagem é permitir aos médicos ganhar todos os benefícios de uma notação formal sem a necessidade de conhecer esta notação abstrata. Os usuários administram os elementos mais simples da notação, enquanto redes de Petri asseguram formalidade e capacidades de validação. Desta maneira LEMMA integra notações formais e intuitivas superando os problemas de ambos enfoques. A definição da notação LEMMA 2000 foi apoiada pela implementação de um ambiente para projetar os modelos. Este ambiente além de permitir a administração dos elementos da notação menos formal permite a geração e analise dos modelos mais formais. / The quality of health services has become an important subject. Efforts have been dedicated more and more to define methodologies and tools to measure and to guarantee quality. People demand new methods in order to improve health processes. This way a high standard of quality is guaranteed by using available resources. The optimization of using these resources in such a way as to keep the quality of attendance as well as to reduce expenses, needs strict patterns of medical processes. In this context we present LEMMA 2000 a notation for modeling medical processes developed in co-operation with the Politecnico di Milano. This notation provides doctors with common and intuitive elements to represent the patterns of diagnoses. At the same time a model of Timed Petri nets is created automatically. Because of this the patterns of LEMMA can be validated and analysed through simulations and tests. The aim of this double modelling is to allow doctors to gain all the benefits of a formal notation without the need to know this abstract notation. The users manage the most simple elements of the notation while Petri nets guarantee formality and ways of validation. This way LEMMA integrates formal and intuitive notations overcoming problems of both focuses.The definition of LEMMA 2000 notation was supported by the implementation of an environment for projecting the patterns. This environment not only allows the management of the elements of the less formal notation but it also allows the creation and analysis of most formal patterns.

Risk management in software projects involves the definition of actions to prevent risks identified for the project in order to minimize their effects or eliminate them.The definition of preventive actions, and especially to assess their efficacy in eliminating a risk is not a trivial task. The objective of this research is to identify and propose a method for evaluation of preventive actions to mitigate or eliminate risks in software projects. This assessment is based on supporting a quantitative analysis driven Decision Theory and modeled and simulated by means of colored Petri nets. The choice of theme reveals the importance of predicting the impact and efficacy of preventive measures in software projects, anticipating their possible outcomes and enhancing their uses. The development of this research resulted in three distinct stages of study, mutually complementary and performed in different periods: a) define an approach to model and simulate processes that were widely accepted by the scientific community, b) identify a theoretical basis that was able to establish a criterion to support the decision making process and therefore evaluate the impact of preventive risk in software development projects; c) evaluating the results of simulation based on the modeling of preventive risk using the previously established theoretical basis. The study is an exploratory, descriptive and analytical, combined with documentary analysis of literature sources, from documents and information from the literature. The proposed method consists of introducing a formal step in the evaluation process of preventive risk.The simulation with colored Petri nets, aided by the Theory of Decision by the Bayes Theorem, and has made the process more understandable, provided a more effective participation by experts involved, and allow formal mathematical representation coupled to mechanisms analysis to inspect risks adapted processes. / O gerenciamento de riscos em projetos de software envolve a definição de ações para prevenir riscos identificados para o projeto, visando minimizar seus efeitos ou eliminá-los. A definição de ações preventivas e, principalmente, a avaliação da eficácia destas na eliminação de um risco, não é uma tarefa trivial. O objetivo desta pesquisa é identificar e propor um método de avaliação de ações preventivas para mitigar ou eliminar riscos, em projetos de software. Esta avaliação tem como base de sustentação uma análise quantitativa orientada pela Teoria de Decisão e modelada e simulada por meio de redes de Petri coloridas. A opção pelo tema revela a importância de prever o impacto e a eficácia da utilização de ações preventivas em projetos de software, antecipando seus possíveis resultados e potencializando suas utilizações. A elaboração desta pesquisa implicou em três etapas de estudos distintas, complementares entre si e realizadas em períodos distintos: a) definir uma abordagem para modelar e simular processos que fosse amplamente aceito pela comunidade científica; b) identificar uma base teórica que fosse capaz de estabelecer um critério para apoiar o processo decisório e, consequentemente avaliar o impacto de ações preventivas de riscos em projetos de desenvolvimento de software; c) avaliar os resultados da simulação baseados na modelagem de ações preventivas de riscos utilizando a base teórica previamente estabelecida. O estudo realizado é de natureza exploratória, analítica e descritiva, combinado com análise documental em fontes bibliográficas, a partir de documentos e informações extraídas na literatura. O método proposto consiste da introdução de uma etapa formal ao processo de avaliação de ações preventivas de riscos. A simulação com redes de Petri coloridas, auxiliada pela Teoria de Decisão por meio do Teorema de Bayes, além de ter tornado os processos mais compreensíveis, proporcionou uma participação mais efetiva por parte de especialistas envolvidos, além de permitir uma representação matemática formal acoplada a mecanismos de análise para inspecionar riscos em processos adaptados.

Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. McMillan [12] propôs uma técnica chamada de unfolding – desdobramento – que gera uma nova rede, de complexidade menor que a do grafo de alcançabilidade, que contém o conjunto de estados alcançaveis, o que permite evitar a explosão de estados de sistemas modelados com redes de Petri. Esta técnica tem várias implementações, a maioria limitada para redes de Petri seguras, sendo que no contexto dos sistemas do mundo real, geralmente trabalha-se com um número limitado de recursos, frequentemente superior a uma unidade. Por esta razão, é importante disporse de uma implementação da técnica de desdobramento, mas para redes de Petri k-limitadas, que permitem modelar sistemas com um número limitado de recursos. Neste trabalho serão apresentados, além de conceitos importantes de redes de Petri e do processo de desdobramento, uma proposta de desdobramento para redes de Petri k-limitadas. Para a implementação foi escolhida uma das ferramentas de mais destaque na técnica de desdobramento. Após um estudo aprofundado desta ferramenta, ela foi modificada de forma a incorporar o desdobramento de redes k-limitadas. A proposta e a implementação foram validadas a partir de um estudo de caso. São apresentados e discutidos os resultados obtidos, as limitações da proposta e possíveis trabalhos futuros neste campo de pesquisa.

Resumo: O presente trabalho propõe uma metodologia de diagnóstico de eventos e alarmes no Sistema Elétrico de Potência (SEP) que sintetiza as informações sobre a causa e a localização do defeito em caso de contingências elétricas. Espera-se reduzir o esforço na análise da falta, agilizando a recomposição ou inibindo a ação de componentes faltosos, aumentado a segurança operacional. Conforme descrito no decorrer da pesquisa, profissionais operam muitos componentes da malha elétrica de forma remota. Estes assimilam a responsabilidade por monitorar e controlar muitas unidades em paralelo através de um centro de operação com um Sistema de Supervisão e Controle (SSC) em tempo real. Por esta atividade concentrar muitas variáveis, uma das estratégias adotadas é a utilização de eventos e alarmes. Alterações críticas em campo, que necessitem de atuação imediata precisam disparar alarmes para os operadores, todavia ações de emergência são configuradas para lançar eventos. Este ambiente sintetiza a observabilidade do sistema, embora também possua problemas, sendo descritos no trabalho. Para transpor estes obstáculos, a literatura técnica possui soluções, em sua maioria, técnicas de Inteligência Artificial (IA). Estas por tentar representar linhas de raciocínio humanas, auxiliam a construção de métodos que fortalecem a interpretação da falta elétrica por meio de análise dos alarmes e eventos do SSC. A principal técnica pesquisada foi à fusão dos conhecimentos das Redes de Petri (RPs) e a lógica Fuzzy. A partir da constatação que dados linguísticos (lógica Fuzzy) melhor representam as condições de observabilidade do SEP, e que as RPs possuem grande capacidade de executar cálculos simultâneos, criou-se um ambiente para o diagnóstico (classificação e localização) de faltas em sistema elétrico baseado em Redes de Petri Fuzzy (RPFs). Foram criados modelos para estas RPFs, baseados em conhecimento humano, que pudessem a partir da chegada de alarmes e eventos interpretar uma possível anomalia elétrica, resultando num diagnóstico com graus de possibilidade que indiquem a confiabilidade nesta solução, sendo estes modelos a principal contribuição científica do presente trabalho. Como forma de avaliação da metodologia foram efetuadas análises de duas contingências não programadas com base histórica de eventos da Companhia Paranaense de Energia (Copel), além de propor a título de comparação de resultados com um modelo encontrado na literatura também baseado em RPFs, mas orientado somente a localização da falta. A utilização desta metodologia agregou mais capacidade de análise, sintetizando o diagnóstico das faltas elétricas, promovendo ganhos significativos nos resultados. Isto é demonstrado através da análise dos testes realizados sobre a análise pós-falta em comparação com os resultados desta metodologia.

Made available in DSpace on 2013-08-07T18:43:42Z (GMT). No. of bitstreams: 1 000407757-Texto+Completo-0.pdf: 1892544 bytes, checksum: 1bac1747159590e341299a53c6807c04 (MD5) Previous issue date: 2008 / Testing of a workflow management system is necessary when there is a need for error detection in the execution of systems which support business processes. Since it is not possible to carry out exhausting tests, this research uses statistical tests in order to have an acceptable reliability with a smaller testing set. Besides making the representation of statistical information possible, Petri nets provide a formalism very suitable to describe business processes. The information relevant to the workflow statistical test is represented by using Petri nets in order to generate test cases from a net. This dissertation aims at presenting a solution for test case generation of workflow management systems. The object of these test cases is to interact with the user interface. Thus, in this work, a description of workflow automation and the testing of these systems is provided. The requirements for the formalization of a Petri net dialect are determined from this description. The formalization of the dialect used in the research is presented soon afterward. Furthermore, the application of this solution is illustrated. Due to the similar needs verified in the performance test in relation to the workflow management system test, a study of the application of this research solution to the performance test is conducted. / O teste de um sistema de gerenciamento de workflow se faz necessário no momento em que há a necessidade de detecção de erros na execução de sistemas que apóiam processos de negócio. Como não é viável a realização de testes exaustivos, esta pesquisa faz uso de teste estatístico para que se tenha uma confiabilidade aceitável com um conjunto de testes menor. Sabe-se que as redes de Petri, além de possibilitarem a representação de informações estatísticas, são um formalismo muito indicado para descrever processos de negócio. As informações relevantes ao teste estatístico de workflow são representadas utilizando redes de Petri, para então gerar casos de teste a partir de uma rede. Este trabalho tem o objetivo de apresentar uma solução para a geração de casos de teste para sistemas de gerenciamento de workflows. Estes casos de teste visam a interação com a interface de usuário. Assim, neste trabalho, é apresentada uma descrição referente à automação de workflows e ao teste destes sistemas. A partir desta descrição, são determinados os requisitos para a formalização de um dialeto de redes de Petri, para então ser apresentada a formalização do dialeto utilizado na pesquisa. Além disso, é ilustrada a aplicação desta solução. Devido às similares necessidades verificadas no teste de desempenho em relação ao teste de sistemas de gerenciamento de workflows, um estudo da aplicação da solução desta pesquisa ao teste de desempenho é realizado

A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a modelar processos médicos, desenvolvida em cooperação com o Politécnico de Milão.. Esta notação disponibiliza aos médicos elementos simples e intuitivos para representar os modelos de diagnóstico. Simultaneamente um modelo de Redes de Petri Temporizadas é gerado automaticamente. Deste modo os modelos de LEMMA podem ser validados e analisados através de simulações e testes.O objetivo desta dupla modelagem é permitir aos médicos ganhar todos os benefícios de uma notação formal sem a necessidade de conhecer esta notação abstrata. Os usuários administram os elementos mais simples da notação, enquanto redes de Petri asseguram formalidade e capacidades de validação. Desta maneira LEMMA integra notações formais e intuitivas superando os problemas de ambos enfoques. A definição da notação LEMMA 2000 foi apoiada pela implementação de um ambiente para projetar os modelos. Este ambiente além de permitir a administração dos elementos da notação menos formal permite a geração e analise dos modelos mais formais. / The quality of health services has become an important subject. Efforts have been dedicated more and more to define methodologies and tools to measure and to guarantee quality. People demand new methods in order to improve health processes. This way a high standard of quality is guaranteed by using available resources. The optimization of using these resources in such a way as to keep the quality of attendance as well as to reduce expenses, needs strict patterns of medical processes. In this context we present LEMMA 2000 a notation for modeling medical processes developed in co-operation with the Politecnico di Milano. This notation provides doctors with common and intuitive elements to represent the patterns of diagnoses. At the same time a model of Timed Petri nets is created automatically. Because of this the patterns of LEMMA can be validated and analysed through simulations and tests. The aim of this double modelling is to allow doctors to gain all the benefits of a formal notation without the need to know this abstract notation. The users manage the most simple elements of the notation while Petri nets guarantee formality and ways of validation. This way LEMMA integrates formal and intuitive notations overcoming problems of both focuses.The definition of LEMMA 2000 notation was supported by the implementation of an environment for projecting the patterns. This environment not only allows the management of the elements of the less formal notation but it also allows the creation and analysis of most formal patterns.

Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-09T17:53:10Z No. of bitstreams: 2 DISSERTAÇÃO Jesse James Matos Soares.pdf: 4718950 bytes, checksum: 36756badbb43c11e14f0f31fc74d81da (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T17:53:10Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Jesse James Matos Soares.pdf: 4718950 bytes, checksum: 36756badbb43c11e14f0f31fc74d81da (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-04-25 / A adoção da Gestão de Processos de Negócios vem crescendo nos mais diversos tipos de instituições em geral, nos últimos anos, principalmente a partir da criação da BPMN como ferramenta gráfica para o desenho dos processos. A BPMN (Business Process Model and Notation) se destaca dentre várias notações pela sua simplicidade e facilidade de entendimento. Apesar da sua força como notação gráfica, a BPMN carece de um formalismo matemático que possa avaliar a eficiência de um determinado fluxo de processo. Por outro lado as redes de Petri como uma notação madura, com forte formalismo matemático, de larga aceitação na descrição de sistemas discretos e bastante popular no meio acadêmico mas pouco conhecida e utilizada entre as pessoas de negócios, não só tem uma notação gráfica eficiente como possui várias formas de avaliação formal de desempenho dos grafos criados. O presente trabalho vem juntar-se a várias iniciativas de unir essas duas notações para tentar obter o melhor que ambas oferecem, ou seja para ter em mãos tanto a facilidade de uso e entendimento da BPMN quanto o formalismo matemático e simplicidade gráfica das Redes de Petri. Para isso é apresentado um modelo de transformação e seu respectivo protótipo capaz de transformar um diagrama BPMN para o seu equivalente em um diagrama baseado em redes de Petri, mais especificamente uma GSPN (Generalized Stochastic Petri Net), permitindo, dessa forma que avaliações de correção e análise de desempenho específicos das redes resultantes sejam aplicados ao processo transformado.