Buscar
Mostrando ítems 1-10 de 31
Redes de Petri temporizadas y coloreadas con trayectoria óptima en el sentido de Lyapunov, cumpliendo con las restricciones de tiempo impuestas por el mundo real
(Instituto Politecnico Nacional, 2013-01-16)
Nomenclatura y definiciones básicas de Redes de Petri
(UR. FI – INCO., 2002)
Este reporte es un resumen de conceptos y notación empleada en el formalismo de Redes de Petri, realizado como subproducto del proyecto Clemente Estable No 4072 Modelado y construcción de una máquina paralela virtual con ...
Uma abordagem em redes de Petri temporizadas para sincronização de produção em sistemas de manufatura enxuta
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaEngenharia de ComputaçãoUTFPR, 2021-11-02)
Planning tools and production capacity are essential for synchronizing modern production systems, especially manufacturing systems. Without these tools, the study of implementation of lean production optimization techniques ...
Redes de Petri temporizadas y coloreadas con trayectoria óptima en el sentido de Lyapunov, cumpliendo con las restricciones de tiempo impuestas por el mundo real
(Instituto Politecnico Nacional, 2013-01-16)
Alocação e dimensionamento de terminais de transbordo de soja no estado do Mato Grosso via otimização e simulação em rede de Petri P-temporizada
(Universidade Federal de Minas GeraisBrasilENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICAPrograma de Pós-Graduação em Engenharia ElétricaUFMG, 2021-08-27)
Brazil is responsible for the food supply of more than 800 million people around the world through the export of grains. Among agricultural commodities, soybean is the main product exported, being produced on a large scale, ...
Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
(Universidade Federal de Pernambuco, 2014)
Uma metodologia para estimativa de área baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
(Universidade Federal de Pernambuco, 2014)
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)
A SysML profile for smart city applications
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe, 2021)