Paper Title :Using Ws3pr Petri Net for Modeling, Performance Evaluation, and Deadlock-Free Design of Multi-Unit Resource Systems
Author :Passent Elkafrawy, Mahmoud Salah, Mohammed Nasef
Article Citation :Passent Elkafrawy ,Mahmoud Salah ,Mohammed Nasef ,
(2017 ) " Using Ws3pr Petri Net for Modeling, Performance Evaluation, and Deadlock-Free Design of Multi-Unit Resource Systems " ,
International Journal of Advances in Science, Engineering and Technology(IJASEAT) ,
pp. 96-102,
Volume-5,Issue-1, Spl. Iss-2
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.
Type : Research paper
Published : Volume-5,Issue-1, Spl. Iss-2
DOIONLINE NO - IJASEAT-IRAJ-DOIONLINE-7211
View Here
Copyright: © Institute of Research and Journals
|
|
| |
|
PDF |
| |
Viewed - 38 |
| |
Published on 2017-05-09 |
|