{"id":79467,"date":"2006-06-04T00:00:00","date_gmt":"2006-06-04T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/traduccion-de-tpalp-en-una-clase-probabilistica-y-temporizada-de-redes-de-petri\/"},"modified":"2006-06-04T00:00:00","modified_gmt":"2006-06-04T00:00:00","slug":"traduccion-de-tpalp-en-una-clase-probabilistica-y-temporizada-de-redes-de-petri","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/castilla-la-mancha\/traduccion-de-tpalp-en-una-clase-probabilistica-y-temporizada-de-redes-de-petri\/","title":{"rendered":"Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Antonio Bueno Aroca <\/strong><\/h2>\n<p>Tpalp es un lenguaje algebraico para la descripci\u00f3n de sistemas concurrentes con capacidad para expresa comportamientos temporales y probabil\u00edsticas, junto con interacciones urgentes. En esta tesis se presentan las principales caracter\u00edsticas de este lenguaje, su sem\u00e1ntica operacional y una traducci\u00f3n de t\u00e9rminos tpalp en una clase particular de redes de petri probabil\u00edsticas y temporizadas. El lenguaje incluye un operador de elecci\u00f3n probabil\u00edstica, un operador de prefijo temporizado y un operador de prefijo urgente, adem\u00e1s de otros operadores que podemos encontrar en las \u00e1lgebras de procesos cl\u00e1sicas. Una caracter\u00edstica importante del lenguaje es el tratamiento de la urgencia, puesto que en cada momento se ejecutaran tantas acciones urgentes como sea posible, con el objeto de cumplir al m\u00e1ximo con los requerimientos urgentes de una especificaci\u00f3n. Tambi\u00e9n en esta tesis se han tratado aspectos de composicionalidad de redes, restringiendo el \u00e1mbito de aplicaci\u00f3n a redes obtenidas a partir de la traducci\u00f3n de t\u00e9rminos y se ha incluido un m\u00e9todo de implementaci\u00f3n de redes.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Antonio Bueno Aroca <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 06\/04\/2006<\/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>Valentin Valero Ruiz<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Quiles flor Francisco jose <\/li>\n<li>Manuel Nu\u00f1ez garcia (vocal)<\/li>\n<li> De frutos escrig david (vocal)<\/li>\n<li> Oliver villarroya Francisco Javier (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Antonio Bueno Aroca Tpalp es un lenguaje algebraico para la descripci\u00f3n de sistemas concurrentes con capacidad para [&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":[18451,45382],"tags":[170541,6476,39796,71645,11901,54644],"class_list":["post-79467","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","category-instrucciones-aritmeticas-y-de-maquina","tag-antonio-bueno-aroca","tag-de-frutos-escrig-david","tag-manuel-nunez-garcia","tag-oliver-villarroya-francisco-javier","tag-quiles-flor-francisco-jose","tag-valentin-valero-ruiz"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/79467","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=79467"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/79467\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=79467"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=79467"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=79467"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}