Página 1 dos resultados de 589 itens digitais encontrados em 0.003 segundos

Decision support system for Petri nets enabled automation components

Pinto, João; Mendes, João M.; Leitão, Paulo; Colombo, Armando W.; Bepperling, Axel; Restivo, Francisco
Fonte: IEEE Publicador: IEEE
Tipo: Conferência ou Objeto de Conferência
ENG
Relevância na Pesquisa
66.82%
Indexado Inspec; The expected behavior of industrial automation systems can be defined and modeled, but since not every event is predicted at design time, additional care has to be taken during the operation to handle situations such as exceptions, failures and new production orders. Another remark is also the limitation of modeling languages used in the control to permit the intervention of higher grade decision mechanisms. This paper discusses the application of decision support system for Petri net based processes to control automation components and devices. The decision mechanisms are used for path planning, production scheduling and preventive maintenance, to support the description of processes in Petri nets formalism. As such, the same Petri nets designed for the control are also used as analytical information input to the decision support system and for the detection process options that require decision. The solution provides a dynamic complement to the static modeling and operational flexibility. Experiments were done in a real service-oriented industrial factory-cell to prove the specified approach.

Formal specification of holonic control system ADACOR, product holon, using high-level Petri nets

Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, Ronald
Fonte: IEEE Publicador: IEEE
Tipo: Conferência ou Objeto de Conferência
ENG
Relevância na Pesquisa
66.86%
Indexado ISI; Holonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but present weak points when the system contains many instances of the same component, since the model grows (structure and components) in a noncontrollable manner. The use of High-Level Petri Nets, allows to reduce this complexity, by compressing the representation of states, actions and events, to overcome the identified limitations and to support more complex and bigger coordination scenarios. This paper presents a formal specification of the ADACOR product holons using High-Level Petri Nets and the associated formal validation of the model.

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.; Proteum-RS/PN: a mutation-based tool for validating Petri nets.

Simão, Adenilso da Silva
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 17/03/2000 PT
Relevância na Pesquisa
66.89%
Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambigüidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos. Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de teste de especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta Proteum-RS/PN, que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri. ; Reactive Systems are characterized by continuously reacting to external as well as internal stimuli and controlling human activities. In these systems...

Modelagem de sistemas flexíveis de movimentação de materiais através de redes de Petri interpretadas.; Modeling flexible systems of materials movement using interpreted Petri nets.

Junqueira, Fabrício
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 02/02/2001 PT
Relevância na Pesquisa
66.79%
Os sistemas de manufatura há muito vêm sendo objeto de interesse por profissionais e pesquisadores devido à busca de melhores técnicas visando o aumento da produtividade bem como pelo aumento da competitividade empresarial ao longo dos anos. Dentre seus componentes, o sistema de movimentação de materiais merece atenção especial pois, apesar de não aumentar o valor do produto, é responsável por manter o fluxo de materiais entre máquinas, células de manufatura, centros de custos ou mesmo entre empresas, que é imprescindível para qualquer sistema produtivo. Neste contexto, o presente trabalho propõe uma metodologia para a modelagem de sistemas flexíveis de movimentação de materiais e partes em ambiente fabril, focando-se em sistemas cuja movimentação possa ser realizada por VATs (Veículos Autônomos de Transporte). Considerando-se o sistema de movimentação de materiais como sendo um sistema a eventos discretos (SEDs), pode-se empregar técnicas derivadas das Redes de Petri como o PFS (Production Flow Schema) e o E-MFG (Enhanced Mark Flow Graph) na modelagem de tais sistemas. Para tanto, foram introduzidos conceitos de orientação a objetos ao E-MFG de forma a ampliar sua capacidade de modelagem, possibilitando a migração de um paradigma de modelagem orientada a processos para um de modelagem híbrida orientada a processos e a objetos. Como estudo de caso...

Modelagem de custos em sistemas de manufatura utilizando redes de Petri. ; Cost modeling in manufacturing systems using Petri nets.

Silva, Andrea Ribari Yoshizawa da
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 10/06/2002 PT
Relevância na Pesquisa
66.87%
Apresenta uma análise da estimação de custos em sistemas de manufatura utilizando rede de Petri (PN), ferramenta gráfica e matemática para modelagem e simulação. Esta análise permite a apresentação de um sistema aplicável à programação e otimização de processos de fabricação aliadas à estimação dos custos ao longo do processo. Para uma determinada peça, a partir de conceitos sobre custeio de produtos, é proposto um modelo que visa conectar as transições da PN com as informações de custos de produção. O estudo de caso mostra que informações importantes à tomada de decisão podem ser obtidas através do uso de uma metodologia que incorpore planejamento de processos, métodos de custeio e redes de Petri. Finalmente, traz sugestão de um trabalho subseqüente: a partir do modelo proposto, implementar um template no editor/simulador de redes de Petri, Petri Net Tools 2000, capaz de realizar os cálculos necessários para estimativas de custo e fornecer resultados relevantes para um planejamento real.; This work presents a cost estimation analysis in manufacturing systems based in Petri net (PN), which is a graphical and mathematical tool. This analysis allows the presentation of a system, applicable to the programming and optimizing of manufacturing processes joined with cost estimation. A cost model is proposed using concepts of product costing. It seeks for connecting PN transitions to the data manufacturing cost of a certain part. The case study shows that important information to decision support can be found through the use of a methodology which joins process planning...

Metodologia para detecção e tratamento de falhas em sistemas de manufatura através de Rede de Petri. ; Methodology for detection and treatment of failures in manufacturing systems applying Petri Nets.

Martínez Riascos, Luis Alberto
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 07/06/2002 PT
Relevância na Pesquisa
66.93%
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)...

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"; The application of mutation testing in the context of testing and validation of coloured Petri nets

Simão, Adenilso da Silva
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 17/12/2004 PT
Relevância na Pesquisa
67.03%
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...

Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.; Automatic dependent surveillance on air traffic control: risk assessment based on fluid stochastic Petri nets modeling.

Vismari, Lúcio Flávio
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 21/09/2007 PT
Relevância na Pesquisa
66.79%
Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais como redução de custos e aumento da produtividade. No Sistema de Gerenciamento de Tráfego Aéreo, esta transformação é preconizada pelo paradigma CNS/ATM (Communication, Navigation, Surveillance / Air Traffic Management), baseado no uso de novas tecnologias digitais, sobretudo satélites, aplicadas à comunicação, à vigilância, à navegação e ao gerenciamento do tráfego aéreo. O CNS/ATM visa reduzir as restrições do atual paradigma de tráfego aéreo como forma de atender sua crescente demanda, mantendo (ou melhorando) os atuais níveis de segurança. Porém, esta mudança de paradigma traz consigo novos desafios e necessidades, sobretudo, quanto à forma de se avaliar os sistemas resultantes. Em face destes novos desafios e problemas enfrentados, este trabalho propôs um método de avaliação de risco, constituído pela união dos métodos "absoluto" e "relativo" preconizados pela Organização da Aviação Civil Internacional (OACI), pelo emprego do formalismo das redes de Petri Fluidas e Estocásticas (RPFE) na modelagem dos sistemas, e pela comparação entre os valores de métricas de segurança estimados para o sistema avaliado e para um sistema legado. Este método foi aplicado para avaliar a segurança na mudança do atual paradigma de vigilância aérea...

Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística.; Modeling and performance analysis of flexible manufacturing systems using timed Petri nets: case study in automobilistic industry.

Santos, Rossini Sálvio Bomfim dos
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 20/06/2008 PT
Relevância na Pesquisa
66.83%
A necessidade de aumento de produção, da redução de custos e do aumento da qualidade de bens de consumo, tem motivado a constante evolução dos sistemas de produção, migrando os tradicionais sistemas de produção para os modernos e complexos sistemas de manufatura, onde a performance depende da eficiência dos equipamentos e do controle do processo. Por outro lado, a eficiência dos equipamentos depende de sua confiabilidade e manutenabilidade. Neste trabalho a análise de performance é avaliada com o uso de Rede de Petri p-t-Temporizada e através de simulações, incluindo a avaliação da confiabilidade do processo pela análise da otimização da saída do sistema, isto é, quantidade de itens produzidos. Nesta abordagem, uma lógica linear foi desenvolvida e validada utilizando-se uma comparação de resultados das classes de estados do algoritmo proposto com a ferramenta de simulação Tina para um modelo de um esquema produtor consumidor. Apresenta-se um estudo de caso na indústria automotiva, consistindo na análise dos problemas reais enfrentados em uma fábrica de carrocerias, com o uso da Rede de Petri p-t-Temporizada.; The necessity of growing in production, with reduction of costs and improvement in the quality of consumption good...

Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores; Dataflow in colored Petri nets and in actors-oriented workflow graphs

Borges, Grace Anne Pontes
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 11/09/2008 PT
Relevância na Pesquisa
66.79%
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...

Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas.; Conversion from colored Petri nets into Markov decision processes with imprecise probabilities.

Eboli, Mônica Goes
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 01/07/2010 PT
Relevância na Pesquisa
67.01%
Este trabalho foi motivado pela necessidade de considerar comportamento estocástico durante o planejamento da produção de sistemas de manufatura, ou seja, o que produzir e em que ordem. Estes sistemas possuem um comportamento estocástico geralmente não considerado no planejamento da produção. O principal objetivo deste trabalho foi obter um método que modelasse sistemas de manufatura e representasse seu comportamento estocástico durante o planejamento de produção destes sistemas. Como os métodos que eram ideais para planejamento não forneciam a modelagem adequada dos sistemas, e os com modelagem adequada não forneciam a capacidade de planejamento necessária, decidiu-se combinar dois métodos para atingir o objetivo desejado. Decidiu-se modelar os sistemas em rede de Petri e convertê-los em processos de decisão markovianos, e então realizar o planejamento com o ultimo. Para que fosse possível modelar as probabilidades envolvidas nos processos, foi proposto um tipo especial de rede de Petri, nomeada rede de Petri fatorada. Utilizando este tipo de rede de Petri, foi desenvolvido o método de conversão em processos de decisão markovianos. A conversão ocorreu com sucesso, conforme testes que mostraram que planos podem ser produzidos utilizando-se algoritmos de ponta para processos de decisão markovianos.; The present work was motivated by the need to consider stochastic behavior when planning the production mix in a manufacturing system. These systems are exposed to stochastic behavior that is usually not considered during production planning. The main goal of this work was to obtain a method to model manufacturing systems and to represent their stochastic behavior when planning the production for these systems. Because the methods that were suitable for planning were not adequate for modeling the systems and vice-versa...

Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença; Association of Petri nets with virtual and real objects for controlling immersive virtual environments and telepresence

Oliveira, Claiton de
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 25/06/2008 PT
Relevância na Pesquisa
66.98%
A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona a habilidade de manipular a realidade física remotamente em tempo real, através de sua representação virtual. Através da tecnologia de realidade virtual, pode-se criar uma grande diversidade de ambientes apropriados aos mais variados tipos de aplicações, possibilitando simulações de situações do mundo real em um ambiente ou mundo virtual. A aplicação de ambientes virtuais no processo de manufatura está relacionada tanto com a manutenção e treinamento, como também a criação e simulação de protótipos virtuais antes de sua utilização no chão-de-fábrica. O uso de redes de Petri para modelagem de ambientes virtuais, mostra-se como uma poderosa ferramenta gráfica/matemática que pode capturar naturalmente as principais características dos sistemas de realidade virtual, além de proporcionar resultados empíricos interessantes na verificação automática de concorrência e sistemas de tempo real. Por permitir modelar a computação não determinística e paralela, a modelagem de ambientes virtuais com redes de Petri é adequada não apenas para simulação...

Petri nets teaching in the Mechatronics Engineering course

De Lemos, Marilza Antunes; Botura Jr., Galdenoro; Marques, Marcio Alexandre
Fonte: Universidade Estadual Paulista Publicador: Universidade Estadual Paulista
Tipo: Conferência ou Objeto de Conferência Formato: 106-111
ENG
Relevância na Pesquisa
66.86%
The current solutions implanted in the majority of manufacturing systems controlled by PLCs were developed through the language of programming known as ladder. Such a language, easily learned and handled, shows to be efficient whenever the system to be implanted does not demand greater complexity of analyses. Bigger systems, presenting characteristics in which resource compartments, parallelism and synchronizing among processes are more frequent, demand the adoption of solutions differentiation. This article presents a teaching experience and practical application of Petri nets in a Mechatronics Engineering graduation course. Copyright © 2007 IFAC.

Some issues in real-time systems verification using time Petri Nets

Foyo,Pedro M. González del; Silva,José Reinaldo
Fonte: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM Publicador: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/12/2011 EN
Relevância na Pesquisa
66.82%
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim that most of these techniques are useful for real-time system verification can be discussed, based on two assumptions: i) to be suitable for real-time systems verification, a technique must be able to check timing properties, both safe and behavioral, and ii) the underlying algorithm must be efficient enough to be applied to complex systems design. In this paper we will discuss the suitability of commonly accepted verification techniques that use model-checking as a verification framework and TPN as a description model. We present a new algorithmic approach that allows computation of end-to-end time between activities over an abstract state space model. The proposed approach needs to compute the abstract state space only once improving the efficiency of the verification process and turning it suitable for large problems. We also introduce a new sufficient condition for abstract states space to preserve the branching time properties that yields more compact graphs than the condition already used in actual approaches. The approach would fit a design environment also based on Petri Nets called GHENeSys (General Hierarchical Enhanced Petri Nets). The results obtained...

Extending PNML scope: the prioritised petri nets experience

Hillah, L.M.; Kordon, F.; Lakos, C.; Petrucci, L.
Fonte: CEUR; online Publicador: CEUR; online
Tipo: Conference paper
Publicado em //2011 EN
Relevância na Pesquisa
66.85%
The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these — both are published. The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard. This paper focuses on the latter issue: how should a new net type be added, while guaranteeing the compatibility with the current standard. The extension of Petri nets with static or dynamic priorities is studied, showing design choices to ensure the desired compatibility. The result is integrated within the standard companion tool, PNML Framework. Then, the approach is generalised so as to be used at a later stage for other Petri nets extensions.; http://www.informatik.uni-hamburg.de/TGI/events/pnse11/; Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, and Laure Petrucci

Vulnerability and Reliability Assessment of Electrical Power System using Petri Nets

VESCIO, GIOVANNI
Fonte: La Sapienza Universidade de Roma Publicador: La Sapienza Universidade de Roma
Tipo: Tese de Doutorado
EN
Relevância na Pesquisa
66.86%
The research aims to build a behavioral models of electrical power systems through the use of Petri nets, covering both traditional reliability analysis (quantitative measurement) and behavior analysis (qualitative measurement) for the detection of topology defects. The development models has allowed to study the operating sequence of the electrical system, where the evolution of the system to be monitored is compared with its ideal evolution. The modelling criterion is then validated by the implementation in two case studies. In the first case, the whole approach is applied to the identification of a complex electrical plant supplying a critical structure such as a hospital. Petri nets are capable of modeling and simulating all the functional dependencies between the system elements and also the correct fault repair behavior for the tested power system. This allows the system to be analyzed for properties such as tolerance of failures and isolation of the safety hazards to determine which functions are most critical and moreover need to be enhanced in order to mitigate the accidental risks. In the second case study, a new approach for LOTO procedures using Petri nets is introduced. The suggested methodology supports mechanical development of the operational procedures that can assists the operator especially for not automatic operations. It proposes some simple rules...

Aplicação de redes de Petri interpretadas na modelagem de sistemas de elevadores em edifícios inteligentes.; Aplication of interpreted Petri nets for modelling elevators systems in intelligent buildings.

Bastidas Gustin, Gladys Deifan
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 27/01/2000 PT
Relevância na Pesquisa
66.81%
O sistema de elevadores como equipamento para o transporte vertical de pessoas e bens é um componente fundamental no projeto de edifícios e, neste âmbito, a disponibilidade e eficiência do seu serviço deve ser objeto de cuidadosa análise em função de sua influência no desempenho e produtividade das atividades dos usuários do prédio. Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a integração entre seus sistemas cumpre um papel fundamental para atingir estes objetivos, o presente trabalho propõe uma metodologia para a modelagem de sistemas de elevadores nestes prédios, que considera a sua integração com outros sistemas prediais. A abordagem empregada no desenvolvimento deste trabalho baseia-se na caracterização dos sistemas de elevadores como sistemas a eventos discretos (SED), pois sua dinâmica é definida através da ocorrência de eventos e a manutenção de estados discretos. Assim, na metodologia utiliza-se técnicas derivadas das redes de Petri (redes de Petri interpretadas), de comprovada eficiência para a modelagem, análise e controle de SEDs. Estas ferramentas são usadas através de uma abordagem estrutural...

Um modelo para o ensino do processo de negociação policial baseado em redes de Petri; Teaching model of the Police negotiation based on Petri nets

Viana, Sidney Pontes
Fonte: Universidade Federal de Alagoas; Brasil; Programa de Pós-Graduação em Modelagem Computacional de Conhecimento; UFAL Publicador: Universidade Federal de Alagoas; Brasil; Programa de Pós-Graduação em Modelagem Computacional de Conhecimento; UFAL
Tipo: Dissertação
POR
Relevância na Pesquisa
66.89%
Teaching model of the Police Negotiation Process Based on Petri Nets is a study that aims to help the teaching process of strategic negotiation in critical situations involving hostages, allowing the improvement of the Military Police of the State of Alagoas in non-routine police reports. Two types of research were used in the methodology construction of this study: literature research through printed and electronic sources, as well as field research, questionnaires and interviews with military policemen working at the Center of Crisis Management, Human Rights and Community Police (CGCDHPC) in the State of Alagoas. Initially, it discussed the Learning Environment, focusing them as a support system to the learning process. Strategies of persuasion are formally defined in order to be applied in the police negotiation process. We understood the process of strategic negotiation in situations where hostages are involved. We studied different teaching models of the strategic negotiation process. At the end of the study the following results were achieved: proposal for a working model of the persuasion techniques, propose an organizational model of strategic negotiation process and formalization of the model of negotiation process where hostages are involved...

A Graphical petri nets simulator

Huang, Shye-Chyun
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
66.92%
This thesis is an application software system (Graphical Petri Net simulator GPNS) providing a window-oriented, menu-driven and graphical interface simulator for Petri nets. This simulator is based on Place/Transition nets (PT-nets). It allows users to design and simulate PT-net under an interactive graphical environment. GPNS also provides a utility, Auxiliary Application Program (AAP), to make it more useful. When applying the AAP with the GPNS, each function in the AAP can be attached to a corresponding transition in the Petri net. Whenever an enabled transition in the Petri Net is fired will cause the corresponding function in the AAP to be executed. In this case, It is closer to a Predicate/Action net than a Place/Transition net, except that no predicates are attached. This Petri Net simulator can be a very good tutorial tool in an educational environment. Subject to some restrictions, it can be a very useful tool for modeling and designing a system.

VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS

PARRA ORTEGA,CARLOS ARTURO; GUZMÁN LUNA,JAIME ALBERTO
Fonte: DYNA Publicador: DYNA
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/06/2012 EN
Relevância na Pesquisa
66.86%
A fundamental issue of production systems is the validating of their output. In order to obtain this output, mathematical models such as Petri nets are used to validate concurrent behaviors, presence/absence of blockings, and activity synchronization, among other aspects of this industrial process. Despite its advantages, the use of Petri nets does not allow for the evaluation of other important issues in manufacturing processes, or how to manage them. Therefore, stochastic system simulation and agent technology are used in the experiments to obtain other performance measures. A combination of Petri nets, multi-agent systems, and stochastic systems is used within a proposed method for validating the output of production systems. This paper shows how this method is used in an academic manufacture sample.