TUBITAK Destekli Projelerden Çıkan Yayınlar Topluluğu
Published January 1, 2013 | Version v1
Conference paper Open

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

Creators

  • 1. Meliksah Univ, Muhendisl Mimarl Fak, Elekt Elekt Muhendisligi Bolumu, TR-38280 Kayseri, Turkey
  • 2. Gaziosmanpasa Univ, Muhendislik Doga Bilimleri Fakultesi, Tokat, Turkey
  • 3. Xidian Univ, Sch Elect Mech Engn, Xian 710071, Peoples R China

Description

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.

Files

bib-b4b229d2-f317-4106-8d9d-5f371352c968.txt

Files (208 Bytes)

Name Size Download all
md5:460a58a849f63cda362a5639b9c7fe3f
208 Bytes Preview Download