An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
Küçük Resim Yok
Tarih
2007
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize a live controlled PNM. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. The proposed method is an iterative approach. At each iteration, a first-met bad marking is singled out from the reachability graph of a given PNM. The objective is to prevent this marking from being reached via a place in variant of the PN. A well-established invariant-based control method is used to derive a control place. This process is carried out until the net model becomes live. The proposed method is generally applicable, easy to use, effective, and straightforward although its off-line computation is of exponential complexity. Two FMS are used to show its effectiveness and applicability.
Açıklama
Anahtar Kelimeler
deadlock, deadlock prevention, flexible manufacturing systems (FMS), Petri net (PN), reachability analysis
Kaynak
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
WoS Q Değeri
Q2
Scopus Q Değeri
N/A
Cilt
37
Sayı
3
