Now showing items 1-10 of 325
Redução automatizada de redes de petri baseada em algoritmos genéticos
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2014-06-26)
Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used ...
Uma heurística para a programação da produção de sistemas flexíveis de manufatura usando modelagem em redes de Petri.
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2005-05-30)
The Petri Net based Search has been shown as a promising way to solve Flexible
manufacturing Systems (FMS) Scheduling Problem. However, the response time is critical
since it s a system with high computational complexity. ...
Uma metodologia para especificar interação 3D utilizando Redes de Petri
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2007)
Este trabalho apresenta uma metodologia para modelar e construir tarefas de interação 3D em ambientes virtuais usando Redes de Petri, uma taxonomia de decomposição de técnicas e conceitos de orientação a objetos. Para ...
Uma metodologia para especificar interação 3D utilizando Redes de Petri
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2007)
Este trabalho apresenta uma metodologia para modelar e construir tarefas de interação 3D em ambientes virtuais usando Redes de Petri, uma taxonomia de decomposição de técnicas e conceitos de orientação a objetos. Para ...
Método de resolução de deadlocks no controle de produção de sistemas de manufatura automatizados utilizando redes de Petri coloridas
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2011-07-01)
Resources sharing is one of the main characteristics of Automated Manufacturing Systems (SMA), this characteristic can be a synonym of advantages but on the other hand it may lead to the problem of deadlock. Several papers ...
Ferramentas para a integração de redes de Petri e VHDL na síntese de sistemas digitais
(Universidade Estadual Paulista (Unesp), 2007-02-22)
Neste trabalho apresentam-se quatro ferramentas de síntese digital, capazes de converter máquinas de estados finitos modeladas em rede de Petri para uma descrição VHDL correspondente à maquina modelada. As máquinas de ...
Comparação de técnicas de redes de Petri na descrição de um pipeline
(Universidade Estadual Paulista (Unesp), 2004-03-03)
O projeto de sistemas digitais é, na maioria das vezes, uma tarefa complexa e que consome muito tempo do projetista. Não se concebe atualmente que esses projetos sejam inteiramente realizados sem que os sistemas projetados ...
Estratégia de modelagem para controle de FMS combinando redes de Petri e um sistema Fuzzy
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2012-09-28)
The flexible manufacturing systems (FMS) are automated production systems capable of producing a wide variety of product types. They are composed by machines, robots and automated transport systems. Make the control of an ...
Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2010-06-29)
A Flexible Manufacturing System is a production system where more than one event can occur simultaneously in parallel, asynchronously or concurrently. These are designed to meet the needs of the market, demand for improved ...