Results 11 to 20 of about 1,470 (301)
Modularidade em Redes de Petri [PDF]
, 2006 Desde o final da década de 60 que se debate a importância da utilização dos denominados métodos formais na Engenharia de Sistemas, em particular na Engenharia de Software. As redes de Petri constituem um método formal bem conhecido e ao qual são reconhecidas vantagens particulares, comparativamente a outras linguagens formais.
Barros, João Paulo, Barros, João Paulo
openaire +4 more sources
Simulador para redes de Petri Híbridas [PDF]
, 2007 XXVIII Jornadas de Automática 5-7 de septiembre de 2007 Universidad de ...
Maestre Torreblanca, José María +1 more
openaire +3 more sources
Decomposição de Redes de Petri IOPT [PDF]
, 2018 Com a crescente complexidade observada nos sistemas digitais, o recurso a formalismos de desenvolvimento de sistemas e às ferramentas que estes oferecem como suporte, torna-se a solução mais viável para um aumento da produtiviadde. As redes de Petri, como formalismo de modelação de sistemas, possuem naturalmente a capacidade de descrever processos ...
Rosa, Eduardo Augusto Martins
openaire +3 more sources
Decibilidad de problemas sobre redes de Petri temporizadas [PDF]
, 1993 La tesis investiga cuestiones de decibilidad sobre distintos variantes de redes de Petri temporizados. Se detiene diversas extensiones de las propiedades clásicas de redes de Petri, a los modelos temporizados, se consideran, asimismo distintas hipótesis sobre el tipo de modelo temporal: discreto, racional, real etc.. El trabajo se encuadra en una línea
Valero Ruiz, Valentín
openaire +2 more sources
Análisis de redes de Petri mediante su árbol de cobertura
Revista internacional de métodos numéricos para cálculo y diseño en ingeniería, 1998 Las redes de Petri son uiia herramienta muy importante para el análisis de sistemas diiiámicos, que debiera ser conocida por cualquier experto en ciencias de la computación. Dentro del campo de la construcción sus aplicaciones más claras están en la fabricación de materiales y elementos y eii el intercambio de mensajes electróiiicos entre los distintos
Álvarez, M. +3 more
openaire +4 more sources
Ontare, 2015 ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA Este artículo presenta la formalización matemática de las redes de Petri híbridas y coloreadas para el anidamiento Latente de Fallos (AL), como método de abstracción respecto al ...
Leonardo Rodríguez Urrego +1 more
doaj +1 more source
Um método para o planejamento do roteamento contingencial de tráfego aéreo
Revista Produção Online, 2008 Neste trabalho, considera-se o problema logístico de rotear as aeronaves de uma companhia para que esta possa ao longo do tempo voltar seus vôos aos horários definidos pela Agência Nacional de Aviação Civil - ANAC. Para tal é utilizada a representação em
Leonardo Guerra de Rezende Guedes +1 more
doaj +1 more source
Aplicação da modelagem por redes de Petri para avaliação ocupacional de trabalhadores
Revista Produção Online, 2009 Este trabalho introduz a modelagem por Redes de Petri Coloridas (RPC) como ferramenta para avaliação dos riscos ocupacionais de trabalhadores em uma linha de manufatura.
Jonas Lied, Miguel Afonso Sellitto
doaj +1 more source
Las redes de Petri y su adopción en programas de la Universidad de Sonora
Epistemus, 2022 Las redes de Petri (PN) pertenecen a una técnica que está ganando popularidad en diferentes sectores industriales, como el automotriz. En este manuscrito se explican brevemente las PN, su historia y algunas extensiones para aumentar las capacidades en la
Eleazar Jimenez Serrano
doaj +1 more source
Gestão & Produção, 2004 A tecnologia de gerenciamento workflow procura oferecer uma solução flexível em apoio aos processos de negócios, por meio da facilitação de modificações e da criação de novos processos.
Sílvia Inês Dallavalle de Pádua +3 more
doaj +1 more source