Redes De Petri
Mostrando 13-24 de 151 artigos, teses e dissertações.
-
13. Aplicação da análise global de redes de Petri temporais no contexto de software embarcado
Redes de Petri e suas propriedades algébricas são usadas para modelar e analisar sistemas envolvendo paralelismo, concorrência e sincronização. Este artigo apresenta uma aplicação da técnica de Tempo Global (GTT - global time technique) que é uma abordagem para construir grafos de classes de redes de Petri temporais baseada nos tempos relativo e glo
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2011-12
-
14. Aplicação dos conceitos de modelagem e de redes de Petri na análise do processo produtivo da indústria sucroalcooleira.
A modelagem, como meio de análise de processos do agronegócio, bem como de cadeias produtivas, atende à demanda por métodos apropriados. O presente trabalho objetivou avaliar a aderência dos conceitos de modelagem e de rede de Petri aplicados ao complexo agroindustrial da cana-de-açúcar. Utilizou-se uma empresa real para a aquisição das informaçõe
Pesquisa Agropecuária Brasileira. Publicado em: 2011
-
15. Formalização de uma linguagem visual para descrição de sistemas biológicos / Formalization of a visual language to specify biological pathways
Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é o principal alvo de estudos da Biologia Sistêmica. Esta área de estudos envolve a construção de modelos matemáticos que po
Publicado em: 2011
-
16. Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
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 à f
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/06/2010
-
17. Um Modelo Para o Ensino do Progresso de Negociação Policial Baseado em Redes de Petri. / Teaching Model Of The Policie Nagotiation Based on Petri Nets.
Modelo de Ensino do Processo de Negociação Policial Baseado em Redes de Petri é um estudo que tem como meta auxiliar o ensino do processo de negociação estratégica em situações críticas envolvendo reféns, permitindo o aprimoramento de Policiais Militares do Estado de Alagoas em ocorrências policiais não rotineiras. Na construção metodológica d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/06/2010
-
18. Sistema supervisório para poços de petróleo baseados no método de elevação artificial Plunger Lift
Os vários métodos de elevação artificial de petróleo e os diferentes equipamentos de automação existentes muitas vezes levam a que os sistemas supervisórios sejam dedicados a um único método e/ou a um único fabricante de equipamentos. Para contornar este problema, foi desenvolvido o sistema SISAL, capaz de supervisionar poços com diferentes méto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2010
-
19. Modelagem e simulação de redes de comunicação baseadas no protocolo CAN - Controller Area Network
Uma grande tendência na área industrial tem sido a aplicação de tecnologias de redes de comunicação, como o protocolo CAN (Controller Area Network), como solução em sistemas de controle distribuído. O maior desafio no desenvolvimento de sistemas distribuídos baseados em redes industriais é o efeito dos atrasos de comunicação da rede no desempenh
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2010-08
-
20. Um simulador de redes de petri de alto nível para uso didático / A petri-net simulator for didactic use
O presente trabalho consiste na apresentação da implementação de um software projetado para auxiliar o ensino de redes de Petri de alto nível. A partir da fundamentação sobre o assunto desenvolvida em cursos introdut6rios de modelagem de sistemas com redes de Petri foi especificado um sistema para ser usado em sala de aula. O sistema desenvolvido perm
Publicado em: 2010
-
21. Ferramenta para apoio a modelagem de sistemas com redes de petri
O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferram
Publicado em: 2010
-
22. Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos
A maioria dos sistemas industriais pode ser classificada como pertencente _a classe de sistemas híbridos dinâmicos, ou seja, sistemas compostos por variáveis no domínio contínuo e discreto. Assim, devido à necessidade de se obter produtos de alta qualidade com mínimo de perdas possíveis, operar com segurança respeitando o meio ambiente, gerenciar ou
Publicado em: 2010
-
23. Reificação de objetos concorrentes / Reification of concurrent objects
Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reifica
Publicado em: 2010
-
24. 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.
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 be
Publicado em: 2010