{"id":32046,"date":"1997-01-01T00:00:00","date_gmt":"1997-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodologia-para-la-simulacion-de-redes-de-petri-de-alto-nivel-temporizadas\/"},"modified":"1997-01-01T00:00:00","modified_gmt":"1997-01-01T00:00:00","slug":"metodologia-para-la-simulacion-de-redes-de-petri-de-alto-nivel-temporizadas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/metodologia-para-la-simulacion-de-redes-de-petri-de-alto-nivel-temporizadas\/","title":{"rendered":"Metodolog\u00eda para la simulacion de redes de petri de alto nivel temporizadas."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Hernandez Morera Pablo Vicente <\/strong><\/h2>\n<p>La aparicion de arquitecturas basadas en la existencia de varios procesadores fuertemente acoplados ha impulsado la aparicion de tecnicas de programacion paralelas, donde el programa secuencial es particionado en subconjuntos disjuntos y ejecutado por diferentes procesadores.  un campo de aplicacion es en las simulaciones debido a su alto coste computacional. El formalismo elegido para la representacion de los sistemas a simular es el de las redes de petri por los siguientes motivos: facilidad de uso, posibilidad de describir condiciones temporales, permite modelar con diferentes grados de detalle.  el objetivo de la tesis es obtener un algoritmo que extraiga el maximo paralelismo de una red de petri de alto nivel temporizada, garantizando unos resultados de simulacion correctos con la intencion de facilitar su ejecucion sobre una arquitectura multiprocesadora y disminuir su tiempo de ejecucion.  el algoritmo de simulacion paralela se basa en el concepto de distancia temporal entre dos transiciones de la red. Mediante dicho concepto se conoce la posible interaccion de dos transiciones en el tiempo, lo que facilita la localizacion del conjunto de transiciones de la red mutuamente independientes para ser disparadas concurrentemente.  los resultados obtenidos solo seran correctos si se mantienen invariantes las relaciones de causalidad existentes entre los disparos.  cuando el conjunto de disparos o tareas a realizar es mayor que el numero de procesadores surge la necesidad de optimizar la distribucion de tareas, por lo que se analizan algunos algoritmos de distribucion heuristicos.  finalmente, el algoritmo de simulacion paralela propuesto es ensayado sobre un modelo de red local ethernet.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodolog\u00eda para la simulacion de redes de petri de alto nivel temporizadas.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodolog\u00eda para la simulacion de redes de petri de alto nivel temporizadas. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Hernandez Morera Pablo Vicente <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Palmas de gran canaria<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1997<\/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> Sandoval Gonzalez Juan  Domingo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan  Antonio De La Puente Alfaro <\/li>\n<li>Javier Miranda Gonzalez (vocal)<\/li>\n<li>Juan  Carlos Due\u00f1as Lopez (vocal)<\/li>\n<li>Miguel Angel Ferrer Ballester (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Hernandez Morera Pablo Vicente La aparicion de arquitecturas basadas en la existencia de varios procesadores fuertemente acoplados [&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":[4810,1890,332,126,16629,13227,2535],"tags":[88767,88769,11017,16197,16214,88768],"class_list":["post-32046","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-palmas-de-gran-canaria","category-simulacion","category-tecnologia-de-los-ordenadores","tag-hernandez-morera-pablo-vicente","tag-javier-miranda-gonzalez","tag-juan-antonio-de-la-puente-alfaro","tag-juan-carlos-duenas-lopez","tag-miguel-angel-ferrer-ballester","tag-sandoval-gonzalez-juan-domingo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/32046","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=32046"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/32046\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=32046"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=32046"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=32046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}