Buscas alternativas:
ucaf tools » cad tools (Expandir a busca), cat tools (Expandir a busca)
cpn tools » cad tools (Expandir a busca)
ucaf tools » cad tools (Expandir a busca), cat tools (Expandir a busca)
cpn tools » cad tools (Expandir a busca)
1
Assuntos:
“...UCAF Tools...”
Métodos eficientes na estimativa de produtividade para o dimensionamento automático de circuitos integrados analógicos
Dissertação
2
Assuntos:
“...CPN Tools...”
Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores
Dissertação
3
Assuntos:
“...CPN Tools...”
Análise de desempenho baseada em lógica linear e workflow net para escalonamento de sistemas de workflow
Dissertação
4
“... simulation, has as benefit the maturity of the theory and tools related to CPN. Moreover, there are available...”
CPN simulation-based test case generation from natural language requirements
Dissertação
5
6
Assuntos:
“...CPN tools...”
Modelagem e análise de vídeo games baseadas em WorkFlow nets e grafos de estado
Dissertação
7
8
9
Assuntos:
“...Visualização de Modelos CPN...”
Mecanismo para visualização e comunicação bidirecional entre modelos em redes de petri coloridas e modelos em realidade virtual.
Dissertação
10
“.... Em seguida, utilizando o software CPN Tools, são criados modelos baseados nas arquiteturas dos cenários...”
Metodologia de Modelagem CPN Aplicada a Análise de Desempenho de Sistemas de Comunicação baseados na Norma IEC 61850.
Dissertação
11
12
13
“... be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called...”
Geração de jogos multiníveis e com múltiplos usuários por meio de modelagem em Redes de Petri coloridas hierárquicas
Dissertação
14
15
“... Coloridas (CPN) e tem como propósito é apoiar o treinamento de operadores na sala de, e apoiar o estudo...”
Arquitetura para um ambiente de treinamento representado em realidade virtual.
Dissertação
16
“.... Para este propósito, desenvolvemos um modelo de descrição e simulação de política usando rede de Petri colorida e CPN...”
Análise de políticas de controle de acesso baseado em papéis com rede de Petri colorida.
Tese
17
“... diferentes usando a ferramenta CPN Tools. Neste trabalho são utilizadas técnicas formais de verificação...”
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
18
“... methods are validated through a case study that is also simulated in the CPN Tools simulator. The...”
Verificação de requisitos funcionais e não funcionais em Arquiteturas Orientadas a Serviços
Tese
19
“... performed on the CPN tools simulator. Two approaches for the monitoring of deadlockfreeness scenarios are...”
Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais
Tese
20
“... control architectures used to integrate the models in high-level Petri nets, developed in the CPN Tools...”
Redes de Petri de alto nível e PNRD invertida associadas ao controle de robôs móveis: uma abordagem para operações de busca e salvamento em trilhas e travessias
Tese