{"id":26668,"date":"2003-05-11T00:00:00","date_gmt":"2003-05-11T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/redes-reconfigurables-modelizacion-y-verificacion\/"},"modified":"2003-05-11T00:00:00","modified_gmt":"2003-05-11T00:00:00","slug":"redes-reconfigurables-modelizacion-y-verificacion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/politecnica-de-valencia\/redes-reconfigurables-modelizacion-y-verificacion\/","title":{"rendered":"Redes reconfigurables. modelizaci\u00f3n y verificaci\u00f3n"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Llorens Agost M. Luisa <\/strong><\/h2>\n<p>En esta tesis doctoral se aborda el problema de la modelizaci\u00f3n y la verificaci\u00f3n de sistemas concurrentes sujetos a cambios din\u00e1micos. El formalismo de base es el de las redes de petri. En lo que concierne a la expresividad del modelo se busca un mecanismo que tenga en cuenta los cambios din\u00e1micos estructurales de manera local, interna e incremental. Al mismo tiempo, las propiedades b\u00e1sicas de las redes de petri (acotabilidad de lugares, alcanzabilidad, interbloqueo y vivacidad) deben continuar siendo decidibles para este modelo extendido. En general, lo que se gana normalmente en t\u00e9rminos de expresividad se traduce en una p\u00e9rdida en t\u00e9rminos de propiedades decidibles. hay que buscar, entonces, un equilibrio entre expresividad y computabilidad.  las gram\u00e1ticas de grafos y las redes automodificantes de valk son las dos l\u00edneas de investigaci\u00f3n origen de nuestro modelo general: los sitemas de reescritura de redes. Ambas l\u00edneas dan lugar a modelos que mejoran la expresividad de las redes de petri para describir el cambio din\u00e1mico en sistemas concurrentes pero tienen el inconveniente de que casi todas las propiedades b\u00e1sicas decidibles de las redes de petri se pierden. Por ello, para estos modelos extendidos no pueden construirse herramientas autom\u00e1ticas de verificaci\u00f3n.  los sistemas de reescritura de redes son una combinaci\u00f3n de redes de petri con sistemas de reescritura de grafos. Cada configuraci\u00f3n del sistema es una red de petri y un cambio de configuraci\u00f3n es una regla de reescritura de grafos. La expresividad de los sistemas de reescritura de redes es la misma que la de la m\u00e1quina de turing, es decir, las propiedades b\u00e1sicas decidibles de las redes de petri se pierden en estos sistemas, no siendo posible la verificaci\u00f3n autom\u00e1tica.  las redes reconfigurables son una subclase de los sistemas de reescritura de redes equivalente formalmente a las redes de petri, lo que asegura que todas las propiedades fundamentale<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Redes reconfigurables. modelizaci\u00f3n y verificaci\u00f3n<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Redes reconfigurables. modelizaci\u00f3n y verificaci\u00f3n <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Llorens Agost M. Luisa <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 05\/11\/2003<\/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>Javier Oliver Villarroya<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mar\u00eda Alpuente frasnedo <\/li>\n<li>Fernando Cuartero g\u00f3mez (vocal)<\/li>\n<li>Javier Campos laclaustra (vocal)<\/li>\n<li>Mar\u00eda  del mar Gallardo melgarejo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Llorens Agost M. Luisa En esta tesis doctoral se aborda el problema de la modelizaci\u00f3n y la [&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":[16820],"tags":[5510,39795,77040,77039,6479,77041],"class_list":["post-26668","post","type-post","status-publish","format-standard","hentry","category-politecnica-de-valencia","tag-fernando-cuartero-gomez","tag-javier-campos-laclaustra","tag-javier-oliver-villarroya","tag-llorens-agost-m-luisa","tag-maria-alpuente-frasnedo","tag-maria-del-mar-gallardo-melgarejo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/26668","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=26668"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/26668\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=26668"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=26668"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=26668"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}