1
Assuntos:
“...[pt] REDES DE PETRI...”
[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO
Tese
2
Assuntos:
“...Redes de Petri...”
Otimização de provisionamento de largura de banda para internet utilizando redes de Petri na modelagem de comportamento de clientes e provedores
Dissertação
3
Assuntos:
“...Redes de Petri...”
Analisador automatico de rede de Petri para validação de protocolos de comunicações
Dissertação
4
Assuntos:
“...Redes de Petri...”
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
Dissertação
5
6
Assuntos:
“...Redes de Petri...”
Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
Tese
7
Assuntos:
“...Redes de Petri...”
Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
Tese
8
Assuntos:
“...Redes de Petri...”
Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
Dissertação
9
Assuntos:
“...Redes de petri...”
Comparação de técnicas de redes de Petri na descrição de um pipeline
Dissertação
10
Assuntos:
“...Redes de petri...”
Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
Tese
11
Assuntos:
“...Redes de Petri...”
Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
Dissertação
12
Assuntos:
“...Redes de Petri...”
Grafo de relações : uma metodologia para coordenar dependencias entre atividades em ambientes computacionais
Tese
13
Assuntos:
“...Redes de Petri...”
Modelos baseados em extensões de rede de Petri para analise de protocolos de comunicação
Dissertação
14
Assuntos:
“...Redes de Petri...”
Um ambiente de suporte à modelagem hierárquica por Redes de Petri para sistemas de produção
Dissertação
15
Assuntos:
“...Redes de Petri Coloridas...”
Modelagem Computacional e Simulação do Comportamento de uma Solução de Integração no Contexto Acadêmico da Unijuí Utilizando Redes de Petri Coloridas e Temporizadas
Dissertação
16
Assuntos:
“...Redes de petri...”
Controle realimentado de admissões nas diferentes etapas de um ciclo de vacinação via álgebra tropical
Dissertação
17
Assuntos:
“...Redes de Petri, estimativa de consumo de energia, metodologia de modelagem, m¶etodos formais...”
Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
Dissertação
18
Assuntos:
“...Redes de Petri temporais coloridas...”
Ferramenta automática para diagnóstico das operações de proteção de distância em linhas de transmissão
Dissertação
19
Assuntos:
“...Redes de Petri...”
Verificação de requisitos de sistemas utilizando redes de Petri.
Dissertação
20
Assuntos:
“...Redes de Petri...”
Desenvolvimento da unidade de gerenciamento de uma célula flexível de manufatura integrada a um sistema CAD/CAPP/CAM
Dissertação