Using Ws3pr Petri Net for Modeling, Performance Evaluation, and Deadlock-Free Design of Multi-Unit Resource Systems
Most current avoidance methods tackle the deadlock problem arising into multi-unit resource systems depending
on parallel multi-unit resource deadlock algorithms, with its hardware implementation. This article proposes an alternative
algorithm based on a characteristic structure of a weighted system of simple sequential processes with resources WS3PR
Petri net class which satisfying a restriction is inherently deadlock-free and live by configuring its initial markings.
Keywords- Multi-unit resource systems. Deadlock. Petri nets. Circular wait. Circular blocking. Generalized Petri nets.