Professor

Engenharia de Software Workflow Net Petri net UML Rede de Petri workflow Linear Logic Redes de Petri Fuzzy Escalonamento Possibilistic Petri net Lógica Linear CPN Tools Colored Petri Net Modelos Analíticos e de Simulação Vídeo game deadlock prevention strategy Sifão Real Time System Sifon cyclic schedule Flexible Manufacturing Cell Sistemas Tempo Real Object Oriented Software Architecture Batch System process non-conformance real time scheduling Scheduling Análise sob restrições simulation Siphon Análise de Algoritmos Sistema tempo real Worflow Sistema de produção híbrido Sistema de Manufatura Teste Funcional Bioinformática p-time Petri Net recursive search algorithm robótica Real Time Engenharia de Ssoftware WEB Algorithm Analysis Constraint Programming Algoritmo genético Avaliação de Desempenho Verification Dióides Organização e arquitetura de computadores SOA token player algorithm Functional testing Scheduling Algorithm Informatica Industrial Mecanismo de retrocesso inteligente Sistemas Híbridos systèmes de traitement par lots Bancos de Dados Service-oriented Architecture Sistema de produção por lote Model analysis CIM aide au pilotage et à la prise de décision Sistema de informação LFA Autômatos Celulares Timed Petri nets Interorganizational Workflow Net bioinformatic Sistema Flexível de Manufatura Hybrid system Performance Evaluation Sistemas de produção híbrido Célula Flexível de Manufatura Backtrack mechanism joueur de réseau de Petri Cyclic scheduling simulação Sistemas de produção Lógica Possibilística Sistemas a eventos discretos Simulation en temps réel