{"id":111565,"date":"2018-03-11T10:38:06","date_gmt":"2018-03-11T10:38:06","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodos-basados-en-redes-de-petri-para-el-diseno-de-algoritmos-de-encaminamiento-adaptativos-ma%c2%adnimos-libres-de-bloqueos\/"},"modified":"2018-03-11T10:38:06","modified_gmt":"2018-03-11T10:38:06","slug":"metodos-basados-en-redes-de-petri-para-el-diseno-de-algoritmos-de-encaminamiento-adaptativos-ma%c2%adnimos-libres-de-bloqueos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/metodos-basados-en-redes-de-petri-para-el-diseno-de-algoritmos-de-encaminamiento-adaptativos-ma%c2%adnimos-libres-de-bloqueos\/","title":{"rendered":"M\u00e9todos basados en redes de petri para el dise\u00f1o de algoritmos de encaminamiento adaptativos m\u00ednimos libres de bloqueos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Carlos Alvino Rovetto Rios <\/strong><\/h2>\n<p>La presente memoria se ha centrado en el desarrollo de una metodolog\u00eda completa para la construcci\u00f3n de algoritmos de encaminamiento adaptativos m\u00ednimos de tipo wormhole y que est\u00e9n libres de bloqueo. El buscar una metodolog\u00eda completa que cubre desde la fase de especificaci\u00f3n, pasando por el an\u00e1lisis y llegando hasta la s\u00edntesis que introduce correcciones en caso de haber detectado errores en el dise\u00f1o original, es en s\u00ed mismo una aportaci\u00f3n en cuanto que las aproximaciones existentes no cubren sobre todo las \u00faltimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situaci\u00f3n que aparece cuando un mensaje en tr\u00e1nsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracci\u00f3n del dise\u00f1o que se denomina abstracci\u00f3n como sistema de asignaci\u00f3n de recursos \u00f3 abstracci\u00f3n 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\u00f1o. Se han desarrollado t\u00e9cnicas nuevas para la correcci\u00f3n de los modelos en caso de que existan bloqueos aprovechando la teor\u00eda desarrollada para la clase de redes de petri obtenidas a trav\u00e9s de la metodolog\u00eda utilizando un ejemplo para una red de interconexi\u00f3n en donde se aplica la metodolog\u00eda completamente. Este trabajo contribuye en: 1.Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo m\u00ednimo, desde una visi\u00f3n de sar del sistema. 2.Desarrollo de una metodolog\u00eda de modelado formal para los sistemas de encaminamiento que asiste al dise\u00f1ador desde la especificaci\u00f3n de partida hasta la obtenci\u00f3n de la red de petri. 3.Caracterizaci\u00f3n de la clase de redes de petri obtenidas a trav\u00e9s de la metodolog\u00eda 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\u00edsticas estructurales particulares sobre la cual razonar.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>M\u00e9todos basados en redes de petri para el dise\u00f1o de algoritmos de encaminamiento adaptativos m\u00ednimos libres de bloqueos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 M\u00e9todos basados en redes de petri para el dise\u00f1o de algoritmos de encaminamiento adaptativos m\u00ednimos libres de bloqueos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Carlos Alvino Rovetto Rios <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Zaragoza<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 26\/10\/2011<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Jos\u00e9 Manel Colom Piazuelo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: joaquin Ezpeleta mateo <\/li>\n<li>diego Carlos Cazorla lopez (vocal)<\/li>\n<li>josep Carmona vargas (vocal)<\/li>\n<li>Emilio Jim\u00e9nez mac\u00edas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Carlos Alvino Rovetto Rios La presente memoria se ha centrado en el desarrollo de una metodolog\u00eda completa [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[332,13610],"tags":[222238,39794,48919,122743,193243,82872],"class_list":["post-111565","post","type-post","status-publish","format-standard","hentry","category-ciencias-tecnologicas","category-zaragoza","tag-carlos-alvino-rovetto-rios","tag-diego-carlos-cazorla-lopez","tag-emilio-jimenez-macias","tag-joaquin-ezpeleta-mateo","tag-jose-manel-colom-piazuelo","tag-josep-carmona-vargas"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/111565","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=111565"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/111565\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=111565"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=111565"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=111565"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}