Next Article in Journal
Data-Aware Retrodiction for Asynchronous Harmonic Measurement in a Cyber-Physical Energy System
Next Article in Special Issue
Ontology-Based High-Level Context Inference for Human Behavior Identification
Previous Article in Journal
Mining IP to Domain Name Interactions to Detect DNS Flood Attacks on Recursive DNS Servers
Previous Article in Special Issue
Human Behavior Analysis by Means of Multimodal Context Mining
Article Menu

Export Article

Open AccessArticle
Sensors 2016, 16(8), 1307;

Virtual Control Policy for Binary Ordered Resources Petri Net Class

Computer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of Panama
Authors to whom correspondence should be addressed.
Academic Editors: Vladimir Villarreal and Carmelo R. García
Received: 20 May 2016 / Revised: 21 July 2016 / Accepted: 22 July 2016 / Published: 18 August 2016
(This article belongs to the Special Issue Selected Papers from UCAmI, IWAAL and AmIHEALTH 2015)
Full-Text   |   PDF [1720 KB, uploaded 18 August 2016]   |  


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. View Full-Text
Keywords: BORPN class; deadlock; Petri nets; resource allocation systems; siphons BORPN class; deadlock; Petri nets; resource allocation systems; siphons

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).

Share & Cite This Article

MDPI and ACS Style

Rovetto, C.A.; Concepción, T.J.; Cano, E.E. Virtual Control Policy for Binary Ordered Resources Petri Net Class. Sensors 2016, 16, 1307.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Sensors EISSN 1424-8220 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top