Suporte Da Rede De Petri
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Maquina de clausulas : arquitetura e modelo de execucao de clausulas prolog / Clause machines : architecture and prolog clauses execution model
Este trabalho define um modelo de execução para clausulas Prolog, a partir do modelo abstrato de Maquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns aspectos sobre as linguagens Lógicas e as maquinas Prolog visto que estes elementos estão relacionados intimamente tanto com o mode
Publicado em: 2010
-
2. Systemic modeling of industrial processes continuous improvement through Six Sigma method and Petri nets. / Modelagem sistêmica do processo de melhoria contínua de processos industriais utilizando o método seis sigma e redes de Petri.
The globalization strengthens the necessity for companies to improve its processes and products in order to remains competitive and to attend expectations of a dynamic market and shareholders each time more demanding and eager to maximize their profits. The continuous improvement mentioned above, is not related only to the quality perceived by the final cons
Publicado em: 2008
-
3. Um modelo para suporte ao aprendizado em grupo em sistemas tutores inteligentes
Este trabalho propõe um modelo, baseado em ontologias e em redes de Petri para gerenciar grupos de estudantes no contexto dos Sistemas Tutores Inteligentes. O modelo proposto explora o modelo de estudante e o módulo de domínio para suportar a adaptação de interação. O modelo inclui uma biblioteca pré-definida de atividades de grupos. Para estabelecer
Publicado em: 2008
-
4. Modelagem e análise dos processos de negócios em uma empresa do ramo automotivo através do formalismo das redes de Petri
Para que as organizações possuam um melhor conhecimento e gerenciamento de seu negócio é apresentado neste trabalho, o desenvolvimento de uma modelagem baseada em formalismos oriundos das Redes de Petri (RdP). A descrição do conhecimento da empresa através de modelos formais baseados em RdP permite o suporte na concepção de um sistema de gestão de
Publicado em: 2007