Buscar
Mostrando ítems 11-20 de 3222
Rede de planos: uma proposta para a solução de problemas de planejamento em inteligência artificial usando redes de Petri
(Centro Federal de Educação Tecnológica do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2005)
This thesis dissertation reports on the investigation of the relationships between the problems of planning, in the sense of Artificial Intelligence, and that of reachability, in the sense of Petri nets. The research ...
Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar
(Universidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2007)
The objective of this thesis is to establish formal conditions for time Petri nets analysis by interval algebra. The interval algebra is traditionally used as a mathematical tool in the solution of problems related to ...
IP Core for Timed Petri Nets
(2013)
In this article, we present a Timed Petri Nets Processor which can be directly programmed using Petri Nets formalism vectors and matrixes. This processor can leverage the power of Petri Nets for modeling real-time ...
Uma abordagem para a modelagem e simulação de processos de negócio baseada nas redes de Petri estocásticas e redes de Petri contínuas temporizadasAn approach to modeling and simulation of business processes based on stochastic Petri nets and continuous timed Petri nets
(Universidade Federal de UberlândiaBrasilCiência da Computação, 2018)
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 ...
Modelagem de uma planta didática industrial através de rede de Petri
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilEngenharia de Controle e AutomaçãoUTFPR, 2017-06-13)
The present work consists of a study of the decision-making of the industrial didactic plant SMAR for the modeling in Petri Net representing graphically the structure for systems to discrete events. The SMAR didactic plant ...
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. ...
Simulación de operación de celdas de manufactura flexible FMC, utilizando las redes de Petri
(Pereira : Universidad Tecnológica de PereiraFacultad de Ciencias Básicas, 2011)