Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets

UZAM M., Li Z., Abubakar U. S.

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, cilt.54, sa.15, ss.4634-4657, 2016 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 54 Sayı: 15
  • Basım Tarihi: 2016
  • Doi Numarası: 10.1080/00207543.2015.1098785
  • Dergi Adı: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.4634-4657
  • Anahtar Kelimeler: flexible manufacturing system (FMS), liveness-enforcing supervisor, Petri nets, deadlock prevention, think globally act locally (TGAL), monitor, FLEXIBLE MANUFACTURING SYSTEMS, DEADLOCK PREVENTION POLICY, RESOURCE-ALLOCATION SYSTEMS, ELEMENTARY-SIPHONS, ITERATIVE SYNTHESIS, DEPENDENT SIPHONS, AVOIDANCE POLICIES, FEEDBACK-CONTROL, DESIGN, CONTROLLABILITY
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

This paper, by using Petri nets (PNs), reports a general approach, called a think globally, act locally (TGAL) method, to compute liveness-enforcing supervisors (LES) for flexible manufacturing systems (FMSs) prone to deadlocks. A place called global sink/source place (GP) is introduced provisionally help us to decide a set of monitors such that deadlock states can be removed. The TGAL method proceeds with liveness enforcement by an iterative way in which a complete state enumeration is computed at each step. The resulting LES is generally maximally permissive or suboptimal, without solving intractable integer linear programming (ILP) problems. Given a system, a sufficient condition is developed to decide whether the TGAL method can find maximally permissive, that is, optimal supervisors. Several typical FMSs popularly studied in the literature are used as the examples to demonstrate the proposed method.