|Table of Contents|

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

《南京理工大学学报》(自然科学版)[ISSN:1005-9830/CN:32-1397/N]

Issue:
1998年03期
Page:
72-75
Research Field:
Publishing date:

Info

Title:
Deadlock Avoidance Control Based on Structural Analysis of Petri Nets
Author(s):
Li Ganxiang Yang Chengwu
School of Dynamic Engineering, NUST, Nanjing,210094
Keywords:
flex ible manufacturing system deadlocks cont rol methods Pet ri net
PACS:
TH165
DOI:
-
Abstract:
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.

References:

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

Memo

Memo:
-
Last Update: 2013-03-29