{"id":60580,"date":"2018-03-09T22:48:25","date_gmt":"2018-03-09T22:48:25","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/redes-de-petri-fluidas-y-temporizadas-analisis-cuantitativo-observabilidad-y-control\/"},"modified":"2018-03-09T22:48:25","modified_gmt":"2018-03-09T22:48:25","slug":"redes-de-petri-fluidas-y-temporizadas-analisis-cuantitativo-observabilidad-y-control","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/calculo-operacional\/redes-de-petri-fluidas-y-temporizadas-analisis-cuantitativo-observabilidad-y-control\/","title":{"rendered":"Redes de petri fluidas y temporizadas: an\u00e1lisis cuantitativo, observabilidad y control"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Cristian Florent\u00edn Mahulea <\/strong><\/h2>\n<p>Las redes de petri constituyen un paradigma muy potente para modelar, analizar y sintetizar sistemas concurrentes basados en eventos. Sin embargo, su an\u00e1lisis y s\u00edntesis requiere con frecuencia de algoritmos cuya complejidad crece exponencialmente con el tama\u00f1o o marcado de la red. Dada la complejidad computacional subyacente, las relajaciones por fluidificaci\u00f3n (redes de petri continuas e h\u00edbridas), aunque no siempre utilizables, permiten resolver gran cantidad de casos pr\u00e1cticos. Esta abstracci\u00f3n es \u00fatil en el estudio de sistemas procedentes de muchos dominios de aplicaci\u00f3n como sistemas log\u00edsticos, de fabricaci\u00f3n flexible, de work flow management o redes inal\u00e1mbricas \u00abad hoc\u00bb; en todos los casos se comparten principios metodol\u00f3gicos para la construcci\u00f3n de modelos, la caracterizaci\u00f3n de propiedades de buen comportamiento o principios de dise\u00f1o. las redes de petri continuas, consideradas en esta tesis, difieren de las discretas en que el disparo de las transiciones no est\u00e1 restringido al conjunto de n\u00fameros naturales sino al de los reales positivos. De esta manera, los problemas de programaci\u00f3n entera utilizados para estudiar distintas propiedades de las redes discretas se transforman en problemas de programaci\u00f3n lineal que tienen una complejidad polinomial. Aunque esto no quiere decir que los problemas son todos polinomiales en complejidad, habi\u00e9ndolos que son hasta indecidibles. este trabajo se alinea en el marco anterior, siendo -en cierto sentido- prolongaci\u00f3n de trabajos realizados con car\u00e1cter previo en las tesis de laura recalde y de jorge j\u00falvez. Se propone el estudio de cinco temas distintos, todos relacionados con las redes de petri continuas temporizadas y en general bajo la sem\u00e1ntica de infinitos servidores. Los temas propuestos son: (1) sem\u00e1nticas de disparo y monoton\u00eda de las prestaciones de la red continua respecto a cambios en la velocidad de disparo de las transiciones y el aumento del marcado inicial (2) transiciones<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Redes de petri fluidas y temporizadas: an\u00e1lisis cuantitativo, observabilidad y control<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Redes de petri fluidas y temporizadas: an\u00e1lisis cuantitativo, observabilidad y control <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Cristian Florent\u00edn Mahulea <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Zaragoza<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 24\/09\/2007<\/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 Silvia Su\u00e1rez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 ram\u00f3n Per\u00e1n gonz\u00e1lez <\/li>\n<li>Luis Montano gella (vocal)<\/li>\n<li>alessandro Giua (vocal)<\/li>\n<li>sebasti\u00e1n Dormido bencomo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Cristian Florent\u00edn Mahulea Las redes de petri constituyen un paradigma muy potente para modelar, analizar y sintetizar [&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":[10206,11013,30372,13227,13610],"tags":[133784,133782,12720,46422,133783,7746],"class_list":["post-60580","post","type-post","status-publish","format-standard","hentry","category-calculo-operacional","category-ingenieria-de-control","category-lenguajes-algoritmicos","category-simulacion","category-zaragoza","tag-alessandro-giua","tag-cristian-florentin-mahulea","tag-jose-ramon-peran-gonzalez","tag-luis-montano-gella","tag-manuel-silvia-suarez","tag-sebastian-dormido-bencomo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/60580","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=60580"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/60580\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=60580"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=60580"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=60580"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}