Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS
Küçük Resim Yok
Tarih
2007
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
SPRINGER LONDON LTD
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness enforcing supervisor (LES) is computed as a Petri net. A live Petri net (LPN) guarantees deadlock-free operations of the modeled FMS. An LES consists of a number of control places (CPs) and their related arcs. To-date most of the attention has been paid to make the underlying Petri net models live without questioning whether or not all of the computed CPs are necessary. It is often the case that the number of CPs determined by these approaches is not minimal. Reducing it in order to reduce the complexity of the controlled system is an important issue that was not tackled before. To address this problem, this paper proposes a redundancy test for an LES of an FMS. The proposed approach takes an LPN model, controlled by n CPs, as input and in the existence of any redundant CPs it produces redundant and necessary CPs. The proposed approach is applicable to any LPN consisting of a Petri net model (PNM), controlled by means of a set of CPs.
Açıklama
Anahtar Kelimeler
deadlock, deadlock prevention, flexible manufacturing systems, liveness enforcing supervisor, petri nets (PN), redundancy test
Kaynak
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
WoS Q Değeri
Q4
Scopus Q Değeri
Q1
Cilt
35
Sayı
45323
