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...
Saved in:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | , |
| 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: |
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 |