1
“... de supervisores de sistemas a eventos discretos temporizados. Essa extensao utiliza o automato temporizado...”
Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados.
Tese
2
3
Assuntos:
“...Grafos de eventos temporizados...”
Estudo e desenvolvimento de técnicas de controle para grafos de eventos temporizados
Dissertação
4
Assuntos:
“...Autômatos temporizados...”
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura
Dissertação
5
Assuntos:
“...Autômatos temporizados...”
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados
Dissertação
6
“... a confiança no funcionamento dos SIS. Um método para obter automaticamente um modelo de autômato temporizado...”
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.
Dissertação
7
“... do sistema. Para tratar os modelos temporizados e desenvolvido um algoritmo para a construção do espaço...”
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Dissertação
8
9
“... temporizado, que tem como objetivo minimizar a penalidade dos núcleos através uma solução de prefetching...”
Algoritmo de prefetching de dados temporizado para sistemas multiprocessadores baseados em NOC
Dissertação
10
11
Assuntos:
“...Grafo de eventos temporizados...”
Métodos de controle de fluxo de entrada para sistemas modelados por grafos de eventos temporizados
Tese
12
Assuntos:
“...Redes de Petri Temporizadas...”
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
13
Assuntos:
“...Redes de Petri Temporizadas...”
Desenvolvimento de um modelo computacional para simulação do comportamento de uma solução de integração na Administração Pública de Huelva (Espanha) utilizando Rede de Petri Temporizada
Dissertação
14
“... e Temporizada. A solução de integração analisada insere-se na área de publicidade e propaganda...”
Utilização de redes de Petri colorida e temporizada para a modelagem computacional e simulação...
Dissertação
15
Assuntos:
“...Redes de Petri Temporizadas...”
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas
Dissertação
16
“... p-t-Temporizada e através de simulações, incluindo a avaliação da confiabilidade do processo pela análise...”
Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística.
Dissertação
17
18
19
Assuntos:
“...(Redes de Petri pt-Temporizadas...”
Roteamento – a fundamentação do algoritmo one-day delivery com redes de Petri temporizadas coloridas e com blocagem
Dissertação
20
Assuntos:
“...Redes de petri temporizadas...”
Uma metodologia para estimativa de área baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
Dissertação