Paper Title
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. Deadlock avoidance.