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...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , |
| Format: | article |
| Idioma: | espanyol |
| Publicat: |
2016
|
| Matèries: | |
| Accés en línia: | http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239 http://ridda2.utp.ac.pa/handle/123456789/1807 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Sumari: | 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. |
|---|