title: Virtual Control Policy for Binary Ordered Resources Petri Net Class.
abstract: Prevention and avoidance of deadlocks in sensor networks that use the wormhole routing algorithm is an active research domain. There are diverse control policies that will address this problem being our approach a new method. In this paper we present a virtual control policy for the new specialized Petri net subclass called Binary Ordered Resources Petri Net (BORPN). Essentially, it is an ordinary class constructed from various state machines that share unitary resources in a complex form, which allows branching and joining of processes. The reduced structure of this new class gives advantages that allow analysis of the entire system's behavior, which is a prohibitive task for large systems because of the complexity and routing algorithms.
authors.affiliation: Computer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of Panama. carlos.rovetto@utp.ac.pa.
authors.forename: Carlos A
authors.initials: CA
authors.lastname: Rovetto
authors.affiliation: Computer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of Panama. tomas.concepcion1@utp.ac.pa.
authors.forename: Tomás J
authors.initials: TJ
authors.lastname: Concepción
authors.affiliation: Computer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of Panama. elia.cano@utp.ac.pa.
authors.forename: Elia Esther
authors.initials: EE
authors.lastname: Cano
keywords: BORPN class; Petri nets; deadlock; resource allocation systems; siphons