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...

Full description

Main Authors: Rovetto, Carlos, Concepción, Tomás, Cano, Elia
Format: Artículo
Language: Español
Published: Universidad Tecnológica de Panamá 2016
Subjects:
Online Access: http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239
http://ridda2.utp.ac.pa/handle/123456789/1807
Summary: 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.