1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais
Dissertação
2
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos
Dissertação
3
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Detecção e correção de situações de deadlock em workflow nets interorganizacionais
Dissertação
4
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Modelagem e análise de vídeo games baseadas em WorkFlow nets e grafos de estado
Dissertação
5
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Modelagem e análise de video games usando as workflow nets e a lógica linear
Dissertação
6
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Mecanismo de alocação de recurso fuzzy para sistemas de gerenciamento de workflow
Dissertação
7
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
Dissertação
8
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Análise sob restrições baseada em um raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de workflow
Dissertação
9
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO...”
Uma regra de sincronização baseada na lógica linear para prevenção de deadlock em workflow nets interorganizacionais
Dissertação
10
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Workflow net possibilística para problemas de não conformidade em processos de negócios
Dissertação