Petri Nets
Mostrando 1-12 de 83 artigos, teses e dissertações.
-
1. Wi-Bio: management policy aimed at the establishment of networks for patient monitoring using IEEE 802.11
INTRODUCTION: Patient monitoring will tend to decline in the coming years due to a shortage of physical and human resources in hospitals. Therefore, several studies define alternatives to improve patient monitoring using wireless networks. In these studies, a wireless network is used to transfer data generated by medical sensors without interacting with the
Rev. Bras. Eng. Bioméd.. Publicado em: 2014-06
-
2. RepositÃrio Web para compartilhamento, reuso, versionamento e evoluÃÃo de conteÃdos binÃrios: modelagem e anÃlise por Redes de Petri coloridas / Web Repository for sharing, reuse, versioning and evolution of binary content: modeling and analysis by colored Petri nets
A livre disponibilizaÃÃo de conteÃdos digitais vem crescendo de maneira expressiva na Web. Muitos desses conteÃdos podem ser modificados, reutilizados e adaptados para propÃsitos especÃficos. Embora muitos recursos para armazenamento e disponibilizaÃÃo de conteÃdos sejam bastante difundidos, nÃo se percebem na Internet repositÃrios que possuam ins
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
3. Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo / Selection System for Automatic Setting Groups of Protective Relays
Os modernos sistemas de mediÃÃo, proteÃÃo, comando, controle e supervisÃo (MPCCS) tÃm contribuÃdo de forma significativa para o aumento da seguranÃa, confiabilidade e continuidade de serviÃo dos sistemas elÃtricos de potÃncia. O sistema de proteÃÃo à parte relevante desse sistema multifuncional, o qual tem como objetivo principal manter a integ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/11/2011
-
4. Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida. / A procedure for modelling the control system in intelligent buildings based on colored Petri nets.
Technological advances in recent decades have motivated the development of intelligent buildings, aimed at creating environments more productive for the occupants, economically advantageous for the owners and environmentally correct. New ways of interaction between users and the buildings systems are emerging from these kinds of systems, which are not adequa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/08/2011
-
5. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
6. Some issues in real-time systems verification using time Petri Nets
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
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-12
-
7. 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
-
8. 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
-
9. 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
-
10. 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
-
11. 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
-
12. Uma técnica para a modelagem de estruturas de decisão / A technique for the decision structure modelling
Considerando as complexidades envolvidas no processo de tomada de decisão nas organizações de hoje, é fácil ver que este processo representa um ponto importante para a obtenção de vantagens na competição pelo mercado. Portanto, observa-se que a função de gerenciamento é fundamental para a empresa, seja qual for o seu setor de atividade, tamanho,
Publicado em: 2010