Publish In |
International Journal of Advances in Science, Engineering and Technology(IJASEAT)-IJASEAT |
Journal Home Volume Issue |
||||||||
Issue |
Volume-5,Issue-1, Spl. Iss-2 ( Feb, 2017 ) | |||||||||
Paper Title |
Using Ws3pr Petri Net for Modeling, Performance Evaluation, and Deadlock-Free Design of Multi-Unit Resource Systems | |||||||||
Author Name |
Passent Elkafrawy, Mahmoud Salah, Mohammed Nasef | |||||||||
Affilition |
Faculty of Science, Menofia University, Egypt, Workers University, EL-Mansoura, Egypt Faculty of Science, Menoufia University, Egypt | |||||||||
Pages |
96-102 | |||||||||
Abstract |
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. | |||||||||
View Paper |