Redes De Petri
Mostrando 1-12 de 151 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. Um modelo de controle formal para o gerenciamento de riscos de projeto de software
Este trabalho de pesquisa propõe o projeto e desenvolvimento de um Modelo de Controle Formal (MCF) que propicie gerenciar riscos de projeto de software. Visa prover ao Gestor de Projetos, um mecanismo para identificar e controlar riscos que possam impactar negativamente nos objetivos do projeto, facilitando a tomada de decisão. O MCF desenvolvido contempla
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/05/2012
-
3. Modelo de sistema de apoio à decisão por ontologia e rede de Petri colorida
Este trabalho propõe um modelo de sistema de apoio à decisão empregando ferramentas de controle de fluxo decisório e a assessoria ao decisor quanto à qualidade e à confiabilidade das informações que utiliza para exercer suas atribuições. Por fim, a linha de ação adotada é avaliada com base nas informações disponíveis. O modelo contempla a imp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2012
-
4. 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
-
5. 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
-
6. 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
-
7. Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/10/2011
-
8. Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Geralmente, a análise de requisitos é feita por proposições ad hoc de especialistas. O personagem que detém o conhecimento a respeito do domínio a ser desenvolvido, normalmente, não compreende a linguagem dos especialistas. Assim, as pessoas que deveriam especificar o software são relegadas a um segundo plano, como é o caso de alunos e professores d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
9. 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
-
10. 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
-
11. Um modelo para gerenciamento do processo de testes de componentes desenvolvidos por equipes distribuídas
No contexto do desenvolvimento distribuído de software, equipes fornecedoras e clientes de componentes possuem dificuldade em se comunicar por causa de diferentes culturas, experiências, línguas, conhecimento e disponibilidade. Somado a isso, a falta de código-fonte e documentação incompleta ou imprecisa dos componentes fornecidos faz com que equipes c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/08/2011
-
12. WEBLAB : um ambiente de laboratórios de acesso remoto educacional
Este trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos, usando como meio a internet. Esse ambiente, que foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizado com as devidas adaptações, em qualqu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/07/2011