Petri Net
Mostrando 1-12 de 45 artigos, teses e dissertações.
-
1. Thermal requirements, life expectancy and fertility tables of Aphis craccivora (Hemiptera: Aphididae) in Vigna unguiculata (Fabales: Fabaceae) under laboratory conditions
RESUMO: Objetivou-se com esta pesquisa determinar as exigências térmicas e elaborar as tabelas de esperança de vida e de fertilidade de Aphis craccivora (L.) em Vigna unguiculata (Walp.). Os insetos foram mantidos em placas de Petri, alimentados com discos foliares de V. unguiculata, cultivar BRS-Tumucumaque, sob 5 temperaturas constantes: 18, 22, 25, 28
Arq. Inst. Biol.. Publicado em: 30/05/2019
-
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. Survival of Diaporthe phaseolorum var. caulivora (causal agent of soybean stem canker) artificially inoculated in different crop residues
Stem canker caused by Diaporthe phaseolorum var. caulivora is an important disease of soybean in Argentina. The objective of this study was to determine its survival ability in artificially infested straw under laboratory and field conditions. In laboratory, stem pieces of soybean, maize, sorghum, sunflower, potato and wheat were autoclaved, placed in petri
Tropical Plant Pathology. Publicado em: 2012-08
-
4. Á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
-
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. 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
-
8. Sistema supervisório para poços de petróleo baseados no método de elevação artificial Plunger Lift
Os vários métodos de elevação artificial de petróleo e os diferentes equipamentos de automação existentes muitas vezes levam a que os sistemas supervisórios sejam dedicados a um único método e/ou a um único fabricante de equipamentos. Para contornar este problema, foi desenvolvido o sistema SISAL, capaz de supervisionar poços com diferentes méto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2010
-
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. Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri / Temporal modeling of information systems: a Petri net based approach
Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Es
Publicado em: 2010
-
11. The using of modeling and simulation for the performance comparative analysis between functional layout and distributed layout / Utilização da modelagem e simulação para fins de análise comparativa de desempenho entre o arranjo físico funcional e o arranjo físico distribuído
Recently researches related to new production systems have been proposed in the literature since traditional ones can not attend efficiently to the new profiles of market (especially characterized by higher variety and variability of demand). In the distributed layout, one of the proposed in the literature, machines are scattered on the floor to make possibl
Publicado em: 2010
-
12. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009