Virtual Control Policy for Binary Ordered Resources Petri Net Class
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...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2016-08-01
|
Series: | Sensors |
Subjects: | |
Online Access: | http://www.mdpi.com/1424-8220/16/8/1307 |
_version_ | 1811277978774011904 |
---|---|
author | Carlos A. Rovetto Tomás J. Concepción Elia Esther Cano |
author_facet | Carlos A. Rovetto Tomás J. Concepción Elia Esther Cano |
author_sort | Carlos A. Rovetto |
collection | DOAJ |
description | 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. |
first_indexed | 2024-04-13T00:26:29Z |
format | Article |
id | doaj.art-3050dc311f364f25bc62604ba352ef1a |
institution | Directory Open Access Journal |
issn | 1424-8220 |
language | English |
last_indexed | 2024-04-13T00:26:29Z |
publishDate | 2016-08-01 |
publisher | MDPI AG |
record_format | Article |
series | Sensors |
spelling | doaj.art-3050dc311f364f25bc62604ba352ef1a2022-12-22T03:10:35ZengMDPI AGSensors1424-82202016-08-01168130710.3390/s16081307s16081307Virtual Control Policy for Binary Ordered Resources Petri Net ClassCarlos A. Rovetto0Tomás J. Concepción1Elia Esther Cano2Computer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of PanamaComputer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of PanamaComputer Systems Engineering Department, Technological University of Panama, 0819-07289, El Dorado, Panama City, Republic of PanamaPrevention 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.http://www.mdpi.com/1424-8220/16/8/1307BORPN classdeadlockPetri netsresource allocation systemssiphons |
spellingShingle | Carlos A. Rovetto Tomás J. Concepción Elia Esther Cano Virtual Control Policy for Binary Ordered Resources Petri Net Class Sensors BORPN class deadlock Petri nets resource allocation systems siphons |
title | Virtual Control Policy for Binary Ordered Resources Petri Net Class |
title_full | Virtual Control Policy for Binary Ordered Resources Petri Net Class |
title_fullStr | Virtual Control Policy for Binary Ordered Resources Petri Net Class |
title_full_unstemmed | Virtual Control Policy for Binary Ordered Resources Petri Net Class |
title_short | Virtual Control Policy for Binary Ordered Resources Petri Net Class |
title_sort | virtual control policy for binary ordered resources petri net class |
topic | BORPN class deadlock Petri nets resource allocation systems siphons |
url | http://www.mdpi.com/1424-8220/16/8/1307 |
work_keys_str_mv | AT carlosarovetto virtualcontrolpolicyforbinaryorderedresourcespetrinetclass AT tomasjconcepcion virtualcontrolpolicyforbinaryorderedresourcespetrinetclass AT eliaesthercano virtualcontrolpolicyforbinaryorderedresourcespetrinetclass |