Redes de Petri Coloridas
Reuso de Modelos em Redes de Petri Coloridas
... máti
os de reúso de software na modelagem de sistemas em Redes de Petri Coloridas.. [Jen92℄...[r] ...
76
Adaptação de Modelos de Redes de Petri Coloridas
... neste trabalho será introduzida uma solução para a adaptação de modelos formais. descritos em redes de Petri Coloridas[r] ...
79
Modelagem de programas PRS por redes de Petri coloridas
... Neste artigo, nós apresentamos alguns resultados preliminares desta abordagem. O sistema PRS é descrito na seção 2, enquan- to na seção 3 se faz uma rápida revisão dos conceitos funda- mentais das redes de ...
6
Redes de Petri coloridas no auxílio à composição de equipes multidisciplinares
... propõe redes de Petri coloridas aplicadas à simulação de serviços WEB para que se possa avaliar a simultaneidade, bem como recursos de comunicação e suas restrições, além da qualidade de serviços que ...
17
Uma API para Conversão de Programas em Ladder em Modelos de Redes de Petri Coloridas
... de Petri (PN) é uma ferramenta matemática bem conhecida no contexto de verificação de ...1989]. Redes de Petri Coloridas (CPN) é uma classe de PN na qual fichas representam tipos de dados ...
15
Controle supervisório de sistemas a eventos discretos, usando redes de Petri coloridas
... utilizando redes de Petri coloridas, baseado no contexto da teoria de controle ...usando redes de Petri ordinárias e, dessa forma, são propostas aqui as extensões desse Teorema, para o ...
124
Algoritmo de consão de redes de Petri coloridas para Ladder Logic Diagram (LLD)
... Neste trabalho é apresentada uma proposta de conversão de modelos de células de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD) . Explora-se modelos de RPC ...
101
Estimativa do consumo de energia devido ao software : uma abordagem baseada em redes de Petri coloridas
... em redes de Petri coloridas. O primeiro modelo aplica as redes de Petri coloridas para a avalia¸c˜ao do comportamento do c´odigo frente a um modelo determin´ıstico das ...de ...
217
AVALIAÇÃO DE AÇÕES PREVENTIVAS DE RISCOS UTILIZANDO TEORIA DE DECISÃO E REDES DE PETRI COLORIDAS
... de redes de Petri ...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 ...
94
Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
... em Redes de Petri Coloridas, em três arquiteturas distintas, compostas por merging units que publicam mensagens Sampled Values, uma switch para armazenamento e envio das mensagens e um analisador de ...
84
de equipes mecânicas em obras de terraplenagem usando redes de Petri coloridas eve baprata
... As operações de equipamentos em obras de terraplenagem podem ser representadas pela teoria dos sistemas a eventos discretos, fato que propicia uma modelagem matemática. Este trabalho tem o objetivo de idealizar um ...
11
Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
... usa Redes de Petri Coloridas Fuzzy para modelar um sistema de ...em Redes de Petri Coloridas Fuzzy na mesma rede do sistema de manufatura, tornado o modelo do sistema ...
99
Geração de jogos multiníveis e com múltiplos usuários por meio de modelagem em Redes de Petri coloridas hierárquicas
... Neste trabalho foi apresentado um método de interpretação de modelos de Redes de Petri Coloridas Hierárquicas para geração de jogos eletrônicos. A modelagem permite que o projetista faça testes e ...
95
Diagnóstico de faltas em sistemas elétricos baseado em redes de Petri coloridas e técnicas de sistemas especialistas
... em Redes de Petri Coloridas (RPC), que filtra as informações do SCADA e é capaz de fornecer em tempo real aos operadores o diagnóstico para as faltas no ...
106
Mecanismo para visualização e comunicação bidirecional entre modelos em redes de petri coloridas e modelos em realidade virtual.
... A equipe do Laboratório de Interface Homem-Máquina (LIHM) da Unidade Acadêmica de Engenharia Elétrica da Universidade Federal de Campina Grande norteia suas atividades na busca por características mais ergonômicas na ...
108
Criação de Jogos Didáticos de Perguntas e Respostas por meio de Modelagem em Redes de Petri Coloridas Hierárquicas
... Neste trabalho ´e apresentada uma ferramenta que viabiliza a concepc¸˜ao e construc¸˜ao de jogos de perguntas e respostas, a partir de modelos em Redes de Petri Coloridas (RPC). Com a possibilidade ...
5
MÉTODO DE RESOLUÇÃO DE DEADLOCKS NO CONTROLE DE PRODUÇÃO DE SISTEMAS DE MANUFATURA AUTOMATIZADOS UTILIZANDO REDES DE PETRI COLORIDAS
... de Petri possuem atributos que podem representar grande parte das características de um sistema de manufatura ...nas redes de Petri Coloridas, entre outras, tem como objetivo tratar partes ...
119
Repositório Institucional UFC: TRGET: geração de traces para simulação de VANETs por meio de redes de Petri coloridas
... de redes de Petri coloridas em que n´os m´oveis se deslocam em um terreno bidimensional de forma aleat´oria, e de acordo com o modelo de mobilidade Random Walk (RW) Camp, Boleng, and Davies (2002), ...
88
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
... e Redes de Petri Coloridas ...de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificac¸˜ao das propriedades estruturais e comportamentais) para analisarmos formalmente ...
172
Repositório web para , reuso, sionamento e evolução de conteúdos binários : modelagem e análise por Redes de Petri coloridas
... por Redes de Petri Coloridas, o que permitiu a simula¸c˜ao e a an´alise da arquitetura concebida, demonstrando-se a maior eficiˆencia da arquitetura proposta em rela¸c˜ao a uma abordagem de ...
150