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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | article |
| Language: | Spanish |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/1239 http://ridda2.utp.ac.pa/handle/123456789/1807 |
| Tags: |
No Tags, Be the first to tag this record!
|
| 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. |
|---|