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:
“...Petri nets...”
Uma metodologia para modelagem multinível e simulação de sistemas de computação por redes de Petri.
Dissertação
3
4
Assuntos:
“...Petri net...”
Um formalismo adaptativo com mecanismo de sincronização para aplicações concorrentes.
Dissertação
5
Assuntos:
“...Petri nets...”
Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
Tese
6
Assuntos:
“...Rede de Petri...”
Desenvolvimento de uma metodologia em redes de Petri a objetos interpretada
Dissertação
7
Assuntos:
“...Petri Nets...”
Verificação de requisitos de sistemas utilizando redes de Petri.
Dissertação
8
Assuntos:
“...Petri net...”
Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
Dissertação
9
Assuntos:
“...[pt] REDES DE PETRI ESTOCATISCAS...”
[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
Tese
10
Assuntos:
“...Redes de Petri...”
Analisador automatico de rede de Petri para validação de protocolos de comunicações
Dissertação
11
Assuntos:
“...Petri nets...”
Modelagem dos processos de decisão em operação de sistemas de produção com redes de Petri e teoria Fuzzy.
Tese
12
Assuntos:
“...Petri nets...”
GHENeSYS: uma rede estendida orientada a objetos para o projeto de sistemas discretos.
Dissertação
13
Assuntos:
“...Petri nets...”
Análise da propriedade distância síncrona na Rede GHENeSys.
Dissertação
14
Assuntos:
“...Petri Net...”
Sistema elétrico automatizado objetivando otimização na alimentação de centros de consumo.
Dissertação
15
Assuntos:
“...Petri nets...”
Aplicação de Redes de Petri automodificáveis em sistemas de manufatura.
Dissertação
16
Assuntos:
“...Petri interpretada...”
Editor de modelos de sistemas de eventos discretos, baseado em redes de Petri interpretadas
Dissertação
17
Assuntos:
“...Petri Nets...”
Proposta de utilização da metodologia E-MFG/PFS para o planejamento de dispositivos de fixação.
Dissertação
18
Assuntos:
“...Petri nets...”
Fundamentos da realimentação das informações pela manufatura informada.
Tese
19
Assuntos:
“...Petri nets...”
Método de modelagem e análise de sistemas de manufatura baseado no modelo dos recursos e no modelo funcional.
Dissertação