{"id":73505,"date":"2005-11-04T00:00:00","date_gmt":"2005-11-04T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-algebraicas-para-el-analisis-y-control-de-redes-de-petri-continuas\/"},"modified":"2005-11-04T00:00:00","modified_gmt":"2005-11-04T00:00:00","slug":"tecnicas-algebraicas-para-el-analisis-y-control-de-redes-de-petri-continuas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sistemas-de-control-de-produccion\/tecnicas-algebraicas-para-el-analisis-y-control-de-redes-de-petri-continuas\/","title":{"rendered":"T\u00e9cnicas algebraicas para el an\u00e1lisis y control de redes de petri continuas."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jorge  Emilio J\u00falvez Bueno <\/strong><\/h2>\n<p>Las redes de petri constituyen un potente formalismo para el modelado y an\u00e1lisis de sistemas concurrentes. Tradicionalmente, las redes de petri han sido utilizadas en el contexto de sistemas discretos. Uno de los mayores problemas que aparece en sistemas discretos altamente poblados es el de la explosi\u00f3n de estados: el n\u00famero de estados del sistema crece exponencialmente con respecto a su poblaci\u00f3n inicial. La fluidificaci\u00f3n o continuizaci\u00f3n es una t\u00e9cnica de relajaci\u00f3n cl\u00e1sica cuyo objetivo es evitar la aparici\u00f3n de este problema. este trabajo est\u00e1 dedicado al estudio de las redes de petri continuas. En una red de petri continua el disparo de las transiciones no est\u00e1 restringido al conjunto de n\u00fameros naturales sino al de los reales positivos. De este modo, el estado\/marcado de una red continua viene dado por un vector de n\u00fameros reales. En redes de petri continuas el espacio de estados alcanzables es convexo lo que permite el use de t\u00e9cnicas lineales en vez de enteras. Este hecho repercute muy positivamente en la complejidad de los algoritmos de verificaci\u00f3n. por desgracia, la red de petri fluidificada no siempre preserva las propiedades de la red discreta original. Por ejemplo la vivacidad de la red discreta no es una condici\u00f3n suficiente ni necesaria para la vivacidad de la red fluidificada. Esta y otras discrepancias entre las redes discretas y sus fluidificadas dan a entender que las redes de petri continuas requieren un estudio independiente y riguroso. el presente documento trata tanto redes continuas no temporizadas como temporizadas. Las principales propiedades que se estudian en redes no temporizadas son alcanzabilidad y vivacidad. Con respecto a redes temporizadas los temas investigados est\u00e1n relacionados con vivacidad, evaluaci\u00f3n del rendimiento, observabilidad y controlabilidad.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>T\u00e9cnicas algebraicas para el an\u00e1lisis y control de redes de petri continuas.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 T\u00e9cnicas algebraicas para el an\u00e1lisis y control de redes de petri continuas. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jorge  Emilio J\u00falvez Bueno <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Zaragoza<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 11\/04\/2005<\/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 Su\u00e1rez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: sebasti\u00e1n Dormido bencomo <\/li>\n<li> Piera eroles miquel \u00e1ngel (vocal)<\/li>\n<li>Javier Campos laclaustra (vocal)<\/li>\n<li>alessandro Giua (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jorge Emilio J\u00falvez Bueno Las redes de petri constituyen un potente formalismo para el modelado y an\u00e1lisis [&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":[13226,30390,13355,11304,13610],"tags":[133784,39795,159543,44692,77343,7746],"class_list":["post-73505","post","type-post","status-publish","format-standard","hentry","category-diagramas-de-flujo","category-modelos-causales","category-sistemas-de-control","category-sistemas-de-control-de-produccion","category-zaragoza","tag-alessandro-giua","tag-javier-campos-laclaustra","tag-jorge-emilio-julvez-bueno","tag-manuel-silva-suarez","tag-piera-eroles-miquel-angel","tag-sebastian-dormido-bencomo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/73505","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=73505"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/73505\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=73505"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=73505"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=73505"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}