{"id":36207,"date":"1998-01-01T00:00:00","date_gmt":"1998-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodos-estructurales-para-el-diseno-y-analisis-de-sistemas-concurrentes-modelados-con-redes-lugar-transicion\/"},"modified":"1998-01-01T00:00:00","modified_gmt":"1998-01-01T00:00:00","slug":"metodos-estructurales-para-el-diseno-y-analisis-de-sistemas-concurrentes-modelados-con-redes-lugar-transicion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/metodos-estructurales-para-el-diseno-y-analisis-de-sistemas-concurrentes-modelados-con-redes-lugar-transicion\/","title":{"rendered":"Metodos estructurales para el dise\u00f1o y analisis de sistemas concurrentes modelados con redes lugar\/transicion."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Laura Recalde Frison <\/strong><\/h2>\n<p>Uno de los m\u00e9todos computacionalmente m\u00e1s eficientes para el an\u00e1lisis de redes de petri es el basado en la aplicaci\u00f3n de t\u00e9cnicas de \u00e1lgebra lineal. Sin embargo, este m\u00e9todo tiene un inconveniente, y es que en general solo se obtienen condiciones necesarias o suficientes, que no siempre permiten decidir. Estas condiciones pueden mejorarse en algunos casos imponiendo ciertas restricciones a los sistemas.  en este sentido, dos clases de sistemas lugar\/transici\u00f3n se han estudiado en este trabajo: la clase dssp, obtenida mediante la comunicaci]3n as\u00edncrona de procesos secuenciales, restringida de forma que los procesos no pueden competir por recursos: y la clase (ds)-sp, que se define generalizando recursivamente el proceso de construcci\u00f3n de la clase dssp. El an\u00e1lisis de estas dos clases ha permitido deducir interesantes propiedades, que en particular mejoran los resultados existentes para el an\u00e1lisis de vivacidad.  otra posibilidad, para extender el conjunto de sistemas para los que los resultados existentes permite decidir, es complementar la t\u00e9cnicas de \u00e1lgebra lineal con otro tipo de t\u00e9cnicas. En particular, en este trabajo se analiza c\u00f3mo la aplicaci\u00f3n de transformaciones y descomposiciones incrementa el poder de decisi\u00f3n, en el an\u00e1lisis de vivacidad y ausencia de bloqueo, de resultados conocidos basados en \u00e1lgebra lineal.  finalmente, se estudia el modelo que se que se obtiene al eliminar la restricci\u00f3n de integralidad de los disparos de las transiciones en las redes lugar\/transici\u00f3n. Se compara el comportamiento de esta red \u00abcontinuizada\u00bb frente a la red discreta, y se proponen posibles extensiones continuas a algunas propiedades cualitativas que habitualmente se estudian en sistemas lugar\/transici\u00f3n discretos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodos estructurales para el dise\u00f1o y analisis de sistemas concurrentes modelados con redes lugar\/transicion.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodos estructurales para el dise\u00f1o y analisis de sistemas concurrentes modelados con redes lugar\/transicion. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Laura Recalde Frison <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Zaragoza<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1998<\/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>Manuel Silva Suarez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Colom Piazuelo Jos\u00e9 Manuel <\/li>\n<li>Valentin Valero (vocal)<\/li>\n<li>David De Frutos (vocal)<\/li>\n<li>Alberto Elduque Palomo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Laura Recalde Frison Uno de los m\u00e9todos computacionalmente m\u00e1s eficientes para el an\u00e1lisis de redes de petri [&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":[1890,332,126,2535,13610],"tags":[61870,96010,96011,78929,44692,64564],"class_list":["post-36207","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-tecnologia-de-los-ordenadores","category-zaragoza","tag-alberto-elduque-palomo","tag-colom-piazuelo-jose-manuel","tag-david-de-frutos","tag-laura-recalde-frison","tag-manuel-silva-suarez","tag-valentin-valero"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/36207","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=36207"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/36207\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=36207"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=36207"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=36207"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}