000007027 001__ 7027
000007027 005__ 20190219123659.0
000007027 037__ $$aTESIS-2012-023
000007027 041__ $$aspa
000007027 1001_ $$aRovetto Ríos, Carlos Alvino
000007027 24500 $$aMétodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos
000007027 260__ $$aZaragoza$$bUniversidad de Zaragoza, Prensas de la Universidad$$c2011
000007027 300__ $$a233
000007027 490__ $$aTesis de la Universidad de Zaragoza$$v2011-11$$x2254-7606
000007027 500__ $$aPresentado:  26 10 2011
000007027 502__ $$aTesis-Univ. Zaragoza$$bZaragoza, Universidad de Zaragoza$$c2011
000007027 506__ $$aby-nc-nd$$bCreative Commons$$c3.0$$uhttps://creativecommons.org/licenses/by-nc-nd/3.0/
000007027 520__ $$aLa presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el análisis y llegando hasta la síntesis que introduce correcciones en caso de haber detectado errores en el diseño original, es en sí mismo una aportación en cuanto que las aproximaciones existentes no cubren sobre todo las últimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situación que aparece cuando un mensaje en tránsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracción del diseño que se denomina abstracción como sistema de asignación de recursos ó abstracción SAR. Desde un punto de vista instrumental se ha utilizado como herramienta formal, las redes de Petri, por tratarse de un paradigma de modelado formal para el que existe un rico cuerpo de resultados para todas las fases del ciclo de diseño. Se han desarrollado técnicas nuevas para la corrección de los modelos en caso de que existan bloqueos aprovechando la teoría desarrollada para la clase de redes de Petri obtenidas a través de la metodología utilizando un ejemplo para una red de interconexión en donde se aplica la metodología completamente. Este trabajo contribuye en: 1. Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo mínimo, desde una visión de SAR del sistema. 2. Desarrollo de una metodología de modelado formal para los sistemas de encaminamiento que asiste al diseñador desde la especificación de partida hasta la obtención de la red de Petri. 3. Caracterización de la clase de redes de Petri obtenidas a través de la metodología y que pertenece a la muy estudiada clase de redes de Petri denominadas S4PR. 4. Se define una nueva clase de redes de Petri denominada SOAR2 para la cual se definen características estructurales particulares sobre la cual razonar.
000007027 6531_ $$aredes de petri
000007027 6531_ $$aalgoritmos de encaminamiento
000007027 6531_ $$as4pr
000007027 6531_ $$asoar2
000007027 700__ $$aColom Piazuelo, José Manuel$$edir.
000007027 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas
000007027 8560_ $$fzaguan@unizar.es
000007027 8564_ $$s4688086$$uhttps://zaguan.unizar.es/record/7027/files/TESIS-2012-023.pdf$$zTexto completo (spa)
000007027 909CO $$ooai:zaguan.unizar.es:7027$$pdriver
000007027 909co $$ptesis
000007027 9102_ $$aLenguajes y sistemas informáticos$$bInformática e Ingeniería de Sistemas
000007027 980__ $$aTESIS