Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs

UZAM M., El-Sherbeeny A. M., Guo W., Li Z.

IEEE Access, cilt.12, ss.74367-74388, 2024 (SCI-Expanded) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 12
  • Basım Tarihi: 2024
  • Doi Numarası: 10.1109/access.2024.3403804
  • Dergi Adı: IEEE Access
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, INSPEC, Directory of Open Access Journals
  • Sayfa Sayıları: ss.74367-74388
  • Anahtar Kelimeler: deadlock, deadlock prevention, Flexible manufacturing system (FMS), liveness enforcing supervisor (LES), optimality test, Petri net (PN)
  • Yozgat Bozok Üniversitesi Adresli: Evet

Özet

An improved think-globally-act-locally (ITGAL) method is proposed in this paper for the computation of a liveness enforcing/deadlock prevention supervisor containing of a set control places (CPs) for a Petri net (PN) model of a flexible manufacturing system (FMS) suffering from deadlocks. The proposed method is especially suitable for generalized PN classes containing weighted arcs such as S4R and S4PR. It leads to optimal or near-optimal liveness-enforcing supervisors without solving intractable integer linear programming problems. By using a recently proposed optimality test for CPs, the proposed ITGAL method provides improved behavioral permissiveness and/or reduced structural complexity of the CPs. The applicability of the proposed method is shown by means of a number of typical FMS examples.