The Computation of Liveness Enforcing Supervisors From Submodels of a Petri Net Model of FMSs

UZAM M., Zakariyya R. S., Gelen G., Li Z.

IEEE International Conference of Region 10 (TENCON), Xian, Çin, 22 - 25 Ekim 2013 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Doi Numarası: 10.1109/tencon.2013.6718803
  • Basıldığı Şehir: Xian
  • Basıldığı Ülke: Çin
  • Anahtar Kelimeler: Flexible manufacturing systems (FMS), deadlock prevention, Petri net model (PNM), liveness enforcing supervisor (LES), DEADLOCK PREVENTION POLICY, SIPHONS
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

In this paper, a method is proposed for the computation of liveness enforcing supervisors (LES) from submodels of a Petri net model (PNM) of a flexible manufacturing system (FMS). Given the PNM of an FMS prone to deadlock, it aims to synthesize a live controlled Petri net. The PNM of the system is divided into small connected subnets (submodels). Each connected subnet prone to deadlock is then used to compute the LES for the original PNM. An example FMS deadlock problem from the literature is used to illustrate the applicability of the proposed method.