Resource-oriented Petri nets in deadlock avoidance of AGV systems

2002 ◽  
Author(s):  
Naiai Wu ◽  
Mengchu Zhou
Keyword(s):  
Petri Nets ◽  
Deadlock Avoidance ◽  
Agv Systems

A New Deadlock Avoidance Policy Based on Petri Nets in Distributed System

2015 ◽  
Vol 743 ◽  
pp. 575-580
Author(s):  
B.W. Liu
Keyword(s):  
Petri Nets ◽  
Distributed System ◽  
Traditional Method ◽  
Deadlock Avoidance ◽  
Reachability Graph ◽  
Concurrent Process

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.

Deadlock avoidance in manufacturing systems modeled by petri nets

1999 ◽  
Vol 32 (2) ◽  
pp. 4864-4869
Author(s):  
Maria Pia Fanti ◽  
Guido Maione ◽  
Biagio Turchiano
Keyword(s):  
Petri Nets ◽  
Manufacturing Systems ◽  
Deadlock Avoidance
Sign in / Sign up

Export Citation Format

Share Document