Redes de Petri (RdP)
Aplicação da modelagem por redes de Petri para avaliação ocupacional de trabalhadores
... Durante o desenvolvimento da pesquisa foram consultadas algumas referências que podem ser citadas, pois possuem relação com o objetivo deste artigo. Silva (2002) aplica Redes de Petri (RdP) para redução de ...
22
Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri
... O principal formalismo a utilizar nesta dissertação para realização do modelo do sistema é o de Redes de Petri (RdP). Tirando partido de algumas das suas características únicas, como por exemplo a ...
119
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 controlados - ...
101
IOPT2IEC61131 – Execução de redes de Petri em Autómatos industriais (PLCs)
... nas redes de Petri da classe IOPT como na linguagem Ladder, a realização deste trabalho representou uma experiencia nova noutras áreas, tais como, nas linguagens de programação Listas de Instruções da norma ...
105
ESTRATÉGIA DE MODELAGEM PARA CONTROLE DE FMS COMBINANDO REDES DE PETRI E UM SISTEMA FUZZY
... No trabalho (SGAVIOLI, 2010) foi apresentada uma modelagem de sistema de manufatura usando redes de Petri Colorida Fuzzy que soluciona conflitos do sistema considerando informações do sistema em tempo real. ...
143
Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware
... de Petri, tran- sições mestres, transições de convergência e as transições es- ...de Petri seja alterada na execução da ...de Petri pode estar fisicamente implementada em diversos processadores do ...
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 independente de outros ...
99
Aplicação de redes de Petri interpretadas na modelagem de sistemas de elevadores...
... Dentro desta metodologia foi apresentado o MFG como uma interpretação de redes de Petri, efetiva para modelar e especificar o comportamento dinâmico de SEDs, explicitando sua comunicação com elementos ...
179
O potencial das redes de Petri em modelagem e análise de processos de negócio.
... As redes de Petri têm excelente potencial na minimização desses pro- blemas, uma vez que possuem representação gráfica, são de fácil aprendizado, funcionam como linguagem de comu- nicação entre ...
11
JOÃO PAULO DA SILVA FONSECA REDES DE PETRI DE ALTO NÍVEL E PNRD
... em redes de Petri de alto nível e na tecnologia RFID, aplicada no controle de robôs móveis para operações de busca e salvamento em trilhas e ...de Petri inserida em base de dados RFID (PNRD), ...
148
Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais.
... As redes de Petri com informação a respeito do instante de ocorrência dos eventos, foram introduzidas independentemente por Ramchandani (1974) e Merlin ...para redes de Petri têm sido ...
16
Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores
... por redes de ...a redes de processamento de fluxo de dados [32] e são representados por grafos com vértices que podem ser vistos como processos concorrentes trocando dados por meio dos ...Essas redes ...
74
Avaliação de desempenho da composição de web services usando redes de petri
... Resumo. Web Services tem desempenhado um importante papel no desenvolvimento de sistemas distribuídos. Particularmente, a possibilidade de se compor Web Services já implementados a fim de prover uma nova funcionalidade é ...
16
Um Modelo de decisão para adoção de serviços em nuvem usando redes de Petri
... Durante a revisão de literatura, foram identificados diversos trabalhos relacionados aos fatores que afetam as decisões de adoção de serviços em nuvem. Alguns trabalhos relacionam-se à análise de custos, e nessa ...
136
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
... as redes de Petri, como as vistas em sec¸˜oes anteriores: alcanc¸abilidade, limitabilidade, vivacidade, home, ...nossas redes de Petri, empreende suas an´alises a partir do grafo de ...
172
Modelagem de conceitos e processos matemáticos por redes de petri coloridas: o caso da integrabilidade de funções reais.
... de Redes de Petri como uma ferramenta de auxílio na organização de material de ensino, considerando-se suas características dinâmicas e a forma como conteúdos podem ser organizados em uma ...
21
Mapeamento do modelo de processos de negócio do EKD em redes de Petri.
... 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 ...
15
Análise de desempenho de um corredor brt sob a ótica da velocidade operacional via redes de petri coloridas
... grafos, redes neurais, entre outros. A técnica de modelagem em redes de Petri se destaca por ser uma ferramenta matemática, que habilita o sistema a ser regido por um conjunto de equações, ...
25
LOCPN: REDES DE PETRI COLORIDAS NA PRODUÇÃO DE OBJETOS DE APRENDIZAGEM
... de Redes de Petri como mecanismo de validação de interfaces de aplicações pode ser encontrada em alguns ...com Redes de Petri ...utiliza Redes de Petri ordinárias na descrição de ...
14
Decomposição de Redes de Petri IOPT
... classe redes de Petri IOPT, apenas a transição com o atributo Master de um conjunto de transições síncronas possui a si associadas guardas de sinais e ...
105