Binary Ordered Resources Petri Net Class

Prevention/avoidance of deadlocks is an active research domain that requires to implement diverse control policies to address this problem. In this paper we present a new specialized Petri Net subclass called Binary ordered resources petri net (BORPN) and its main structural properties. Essentially...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Hovedforfatter: Rovetto, Carlos (author)
Andre forfattere: Concepción, Tomás (author), Cano, Elia (author)
Format: article
Sprog:spansk
Udgivet: 2016
Fag:
Online adgang:http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239
http://ridda2.utp.ac.pa/handle/123456789/1807
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
_version_ 1869652476441919488
author Rovetto, Carlos
author2 Concepción, Tomás
Cano, Elia
author2_role author
author
author_browse Cano, Elia
Concepción, Tomás
Rovetto, Carlos
author_facet Rovetto, Carlos
Concepción, Tomás
Cano, Elia
author_role author
collection Repositorio Institucional de documento digitales de acceso abierto de la UTP
dc.contributor.none.fl_str_mv

dc.creator.none.fl_str_mv Rovetto, Carlos
Concepción, Tomás
Cano, Elia
dc.date.none.fl_str_mv 2016-12-13
2017-07-28T13:57:07Z
2017-07-28T13:57:07Z
dc.format.none.fl_str_mv application/pdf
text/html
dc.identifier.none.fl_str_mv http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239
http://ridda2.utp.ac.pa/handle/123456789/1807
dc.language.none.fl_str_mv spa
dc.publisher.none.fl_str_mv Universidad Tecnológica de Panamá
dc.relation.none.fl_str_mv http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239/1272
http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239/html
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/4.0/
dc.source.none.fl_str_mv 2219-6714
1680-8894
I+D Tecnológico; Vol. 12, Núm. 2 (2016): Revista I+D Tecnológico; 89-97
reponame:Repositorio Institucional de documento digitales de acceso abierto de la UTP
instname:Universidad Tecnológica de Panamá
instacron:U Tecnológica de Panamá
dc.subject.none.fl_str_mv Deadlock, BORPN class, Petri nets, siphons, Resource Allocation Systems
Bloqueo mutuo, clase BORPN, redes de Petri, sifones, Sistemas de Asignación de Recursos.
dc.title.none.fl_str_mv Binary Ordered Resources Petri Net Class
Clase de red de Petri para usos de recursos binarios ordenados
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
description Prevention/avoidance of deadlocks is an active research domain that requires to implement diverse control policies to address this problem. In this paper we present a new specialized Petri Net subclass called Binary ordered resources petri net (BORPN) and its main structural properties. Essentially it is an ordinary class constructed from various state machines that share unitary resources in a complex form, which allows branching and joining processes. Its reduced structure of this new class gives advantages that allow analysis of the entire system behavior, being a prohibitive task for large systems because of the complexity and routing algorithms.
eu_rights_str_mv openAccess
format article
id lrtest_e2f87fe935bb52b99eac1929cbe611ee
instacron_str U Tecnológica de Panamá
institution U Tecnológica de Panamá
instname_str Universidad Tecnológica de Panamá
language spa
network_acronym_str lrtest
network_name_str lr
oai_identifier_str oai:ridda2.utp.ac.pa:123456789/1807
publishDate 2016
publishDateSort 2016
publisher.none.fl_str_mv Universidad Tecnológica de Panamá
reponame_str Repositorio Institucional de documento digitales de acceso abierto de la UTP
repository.mail.fl_str_mv
repository.name.fl_str_mv
repository_id_str
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/4.0/
spelling Binary Ordered Resources Petri Net ClassClase de red de Petri para usos de recursos binarios ordenadosRovetto, CarlosConcepción, TomásCano, EliaDeadlock, BORPN class, Petri nets, siphons, Resource Allocation SystemsBloqueo mutuo, clase BORPN, redes de Petri, sifones, Sistemas de Asignación de Recursos.Prevention/avoidance of deadlocks is an active research domain that requires to implement diverse control policies to address this problem. In this paper we present a new specialized Petri Net subclass called Binary ordered resources petri net (BORPN) and its main structural properties. Essentially it is an ordinary class constructed from various state machines that share unitary resources in a complex form, which allows branching and joining processes. Its reduced structure of this new class gives advantages that allow analysis of the entire system behavior, being a prohibitive task for large systems because of the complexity and routing algorithms.La prevención/evitación de los bloqueos mutuos es un dominio de investigación activo que exige aplicar diversas políticas de control para hacer frente a este problema. En este artículo presentamos una nueva subclase de Red de Petri especializada llamada Clase de red de Petri para usos de recursos binarios ordenados (BORPN) y sus principales propiedades estructurales. En esencia esta nueva clase está construida a partir de diversas máquinas de estados que comparten recursos unitarios en forma compleja, lo que permite el modelado de bifurcaciones y procesos de unión. La estructura reducida de esta nueva clase de red de Petri así como su marcado de los recursos proporciona ventajas que permiten el análisis de todo el comportamiento del sistema, siendo una tarea prohibitiva para grandes sistemas como los algoritmos de encaminamiento.Universidad Tecnológica de Panamá2016-12-132017-07-28T13:57:07Z2017-07-28T13:57:07Zinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdftext/htmlhttp://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239http://ridda2.utp.ac.pa/handle/123456789/18072219-67141680-8894I+D Tecnológico; Vol. 12, Núm. 2 (2016): Revista I+D Tecnológico; 89-97reponame:Repositorio Institucional de documento digitales de acceso abierto de la UTPinstname:Universidad Tecnológica de Panamáinstacron:U Tecnológica de Panamáspahttp://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239/1272http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239/htmlinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/4.0/oai:ridda2.utp.ac.pa:123456789/18072019-12-06T14:50:26Z
spellingShingle Binary Ordered Resources Petri Net Class
Rovetto, Carlos
Deadlock, BORPN class, Petri nets, siphons, Resource Allocation Systems
Bloqueo mutuo, clase BORPN, redes de Petri, sifones, Sistemas de Asignación de Recursos.
status_str publishedVersion
title Binary Ordered Resources Petri Net Class
title_full Binary Ordered Resources Petri Net Class
title_fullStr Binary Ordered Resources Petri Net Class
title_full_unstemmed Binary Ordered Resources Petri Net Class
title_short Binary Ordered Resources Petri Net Class
title_sort Binary Ordered Resources Petri Net Class
topic Deadlock, BORPN class, Petri nets, siphons, Resource Allocation Systems
Bloqueo mutuo, clase BORPN, redes de Petri, sifones, Sistemas de Asignación de Recursos.
url http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239
http://ridda2.utp.ac.pa/handle/123456789/1807