{"id":81805,"date":"2018-03-10T00:05:41","date_gmt":"2018-03-10T00:05:41","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/modelado-e-implementacion-de-sistemas-de-tiempo-real-mediante-redes-de-petri-con-tiempo\/"},"modified":"2018-03-10T00:05:41","modified_gmt":"2018-03-10T00:05:41","slug":"modelado-e-implementacion-de-sistemas-de-tiempo-real-mediante-redes-de-petri-con-tiempo","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/modelado-e-implementacion-de-sistemas-de-tiempo-real-mediante-redes-de-petri-con-tiempo\/","title":{"rendered":"Modelado e implementaci\u00f3n de sistemas de tiempo-real mediante redes de petri con tiempo"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Francisco Jose Garc\u00eda Izquierdo <\/strong><\/h2>\n<p>La tesis debe situarse en el entorno de un proyecto m\u00e1s amplio, cuyo objetivo es el planteamiento de un m\u00e9todo para el desarrollo de sistemas de tiempo real basado en el empleo de las redes de petri. Este formalismo de partida ha sido extendido por varios autores para la consideraci\u00f3n de caracter\u00edsticas temporales. En la tesis se propone el uso de las redes de petri con tiempo (rdpt).  la tesis se centra en el modelado de las caracter\u00edsticas temporales y de control de sistemas de tiempo real, y, sobre todo, en la generaci\u00f3n de c\u00f3digo (ada 95) para el sistema modelado. La generaci\u00f3n de c\u00f3digo se aborda a trav\u00e9s de la adaptaci\u00f3n de t\u00e9cnicas de implementaci\u00f3n de redes de petri: t\u00e9cnicas centralizadas y descentralizadas. Se ha justificado que el c\u00f3digo generido es correcto, al tener la misma sem\u00e1ntica que la red de petri que implementa. Como resultado adicional se incluye un cap\u00edtulo dedicado al modelado de primitives ada 95 de concurrencia y tiempo real, en t\u00e9rminos de rdpt.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Modelado e implementaci\u00f3n de sistemas de tiempo-real mediante redes de petri con tiempo<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Modelado e implementaci\u00f3n de sistemas de tiempo-real mediante redes de petri con tiempo <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Francisco Jose Garc\u00eda Izquierdo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Zaragoza<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 17\/12\/1999<\/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> Villarroel Salcedo Jos\u00e9 Luis<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: manuel Silva suarez <\/li>\n<li> De la puente Juan  Antonio (vocal)<\/li>\n<li> Drake moyanu Jos\u00e9 Mar\u00eda (vocal)<\/li>\n<li>  (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Francisco Jose Garc\u00eda Izquierdo La tesis debe situarse en el entorno de un proyecto m\u00e1s amplio, cuyo [&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,11304,8967,2535,13610],"tags":[174372,174373,174371,44692,16056],"class_list":["post-81805","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-sistemas-de-control-de-produccion","category-sistemas-en-tiempo-real","category-tecnologia-de-los-ordenadores","category-zaragoza","tag-de-la-puente-juan-antonio","tag-drake-moyanu-jose-maria","tag-francisco-jose-garcia-izquierdo","tag-manuel-silva-suarez","tag-villarroel-salcedo-jose-luis"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81805","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=81805"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81805\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=81805"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=81805"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=81805"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}