Redes De Petri Coloridas
Mostrando 1-12 de 28 artigos, teses e dissertações.
-
1. Modelagem de conceitos e processos matemáticos por redes de petri coloridas: o caso da integrabilidade de funções reais
As redes de Petri (RPs) constituem-se em uma ferramenta matemática e gráfica de uso geral. Sugere-se, neste trabalho, o uso de RPs como uma ferramenta de modelagem voltada para o ensino de noções matemáticas. A modelagem apoia-se no fato de as RPs terem como característica a representação de sistemas que utilizam forte base matemática. Como estudo d
Bolema. Publicado em: 2013-04
-
2. Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas
Este trabalho apresenta a prova matemática do método para a síntese de supervisores denominado Restrição de Controle sobre Cores Decompostas, o qual é baseado nos conceitos da Teoria de Controle Supervisório, utilizando como principal ferramenta as redes de Petri coloridas para modelar sistemas de eventos discretos, a fim de encontrar supervisores que
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2012-06
-
3. 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
-
4. 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
-
5. Processo de pré-autoria de atividades de aprendizagem com uso de jogos e cooperação
O uso de jogos e cooperação em um processo de aprendizagem pode introduzir aspectos tais como ludicidade e interatividade, favorecendo o desenvolvimento de atividades de aprendizagem mais enriquecidas e motivadoras. Atualmente, contudo, esses dois aspectos são utilizados de forma isolada nas atividades de aprendizagem desenvolvidas. Entretanto, acredita-s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
6. 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
-
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. 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
-
9. 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
-
10. 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
-
11. P-MIA : padrão múltiplas instâncias autoadaptáveis : um padrão de dados para wokflows científicos
A busca de soluções informatizadas, com o objetivo de se obter agilidade e confiabilidade nas informações, faz com que profissionais de diferentes áreas utilizem tecnologias com propósitos semelhantes. A utilização de sistemas de gerenciamento de workflow é um exemplo desse tipo de solução, a qual empresas e cientistas utilizam para documentar as
Publicado em: 2010
-
12. Energy consumption and execution time estimation of embedded system applications
Nos Ãltimos anos, a reduÃÃo do consumo de energia das aplicaÃÃes dos sistemas embarcados tem recebido uma grande atenÃÃo da comunidade cientÃfica, visto que, como o tempo de resposta e o baixo consumo de energia sÃo requisitos conflitantes, esses estudos tornam-se altamente necessÃrios. Nesse contexto, Ã proposta uma metodologia aplicada nas fases
Publicado em: 2009