On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, cilt.74, ss.1213-1217, 2014 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 74
- Basım Tarihi: 2014
- Doi Numarası: 10.1007/s00170-014-6071-5
- Dergi Adı: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.1213-1217
- Yozgat Bozok Üniversitesi Adresli: Hayır
Özet
In order to design Petri net (PN)-based liveness-enforcing supervisors to deal with flexible routes and assembly operations in automated manufacturing systems (AMS), a deadlock prevention policy was proposed in Hu et al. (IEEE Trans Ind Inf 9:109-121, 2013). The proposed policy exploits the structural analysis of PN models of AMS in the sense that the liveness of a PN model is attributed to the absence of undermarked siphons. To demonstrate the applicability and effectiveness of this method, a few examples were utilized. Some liveness-enforcing supervisors computed in Hu et al. (IEEE Trans Ind Inf 9:109-121, 2013) to enforce liveness on the considered Petri net models do not provide live system behaviors. The purpose of this paper is to report these facts and to provide the correct results.