|Table of Contents|

Deadlock Avoidance Control Based on Structural Analysis of Petri Nets(PDF)


Research Field:
Publishing date:


Deadlock Avoidance Control Based on Structural Analysis of Petri Nets
Li Ganxiang Yang Chengwu
School of Dynamic Engineering, NUST, Nanjing,210094
flex ible manufacturing system deadlocks cont rol methods Pet ri net
Based on str uctural analy sis of Petri Net , this paper present s a deadlock avoidance metho d in FMS w her e sequent ial pr ocesses share many dist inct resources. Global deadlo cks are avo ided by adding lo cal co nt ro l places ensuring that minimal deadlocks w hich are not t raps remain alw ays marked in init ial nets and by rest ricting the augmented net to safe marking s.


1 Espeleta J, Mar tinez J. Sy nt hesis of live models for a class FMS. Pro c of the 1993 IEEE I nternational Conference on Ro bo tics and Automatio n, Atlant a, 1993, 557~563
2 Banaszak Z A, Kr og h B H. Deadlo ck av oidance in flex ible manufacturing sy stems w it h concurrently competing pro cess flow s. IEEE T rans on Ro botics and Automatio n , 1990, 6( 6) :724~734
3 Bakao ui K, Lemaire B. An effectiv e cha racter izatio n of minimal deadlocks and tr aps based on g raph theor y. Pr oc of t he 10t h ICAT of Petri Nets, Bonn, 1989, 62~74
4 Visw anadham N, Narahar y Y, Jo hnson T L. Deadlock pr eventio n and deadlock avo ida nce in
flex ible m anufactur ing systems using petr i net models. IEEE T rans on Ro bo tics and Automation, 1990, 6( 6) : 713~723
5 伍乃骐. 柔性制造系统中死锁避免的充要条件, 第一部分: 资源竞争过程的建模. 信息与控制, 1995, 24( 5) : 257~268


Last Update: 2013-03-29