Deadlock avoidance in FMS based on structural theory of Petri nets

Author(s):  
K. Barkaoui ◽  
I.B. Abdallah
2015 ◽  
Vol 743 ◽  
pp. 575-580
Author(s):  
B.W. Liu

Distributed system has the characteristic of high concurrency, which often leads to deadlock due to the execution of concurrent process. By applying Petri nets model can effectively solve this problem. In this paper, based on Petri nets model, we propose a new efficient deadlock avoidance policy for distributed system by using the Petri reachability graph. At last we analysis the different performance between this algorithm and the traditional method by using Matlab tool.


1999 ◽  
Vol 32 (2) ◽  
pp. 4864-4869
Author(s):  
Maria Pia Fanti ◽  
Guido Maione ◽  
Biagio Turchiano

2016 ◽  
Vol 29 (6) ◽  
pp. 1363-1378 ◽  
Author(s):  
Victor R. L. Shen ◽  
Cheng-Ying Yang ◽  
Rong-Kuan Shen ◽  
Yu-Chia Chen

Sign in / Sign up

Export Citation Format

Share Document