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...
Autores Principales: | Rovetto, Carlos, Concepción, Tomás, Cano, Elia |
---|---|
Formato: | Artículo |
Idioma: | Español |
Publicado: |
Universidad Tecnológica de Panamá
2016
|
Materias: | |
Acceso en línea: |
http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239 http://ridda2.utp.ac.pa/handle/123456789/1807 |
Sumario: |
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. |
---|