SUPERVISORY CONTROLLER DESIGN FOR TIMED-PLACE PETRI NETS

AYBAR A., İFTAR A.

KYBERNETIKA, cilt.48, sa.6, ss.1114-1135, 2012 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 48 Sayı: 6
  • Basım Tarihi: 2012
  • Dergi Adı: KYBERNETIKA
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.1114-1135
  • Anahtar Kelimeler: discrete-event systems, supervisory control, Petri nets, time-delay, deadlock, FLEXIBLE MANUFACTURING SYSTEMS, DEADLOCK PREVENTION, AVOIDANCE, ENFORCE, MODELS
  • Anadolu Üniversitesi Adresli: Evet

Özet

Supervisory controller design to avoid deadlock in discrete-event systems modeled by timed-place Petri nets (TPPNs) is considered. The recently introduced approach of place-stretching is utilized for this purpose. In this approach, given an original TPPN (OPN), a new TPPN, called the place-stretched Petri net (PSPN), is obtained. The PSPN has the property that its marking vector is sufficient to represent its state. By using this property, a supervisory controller design approach for TPPNs to avoid deadlock is proposed in the present work. An algorithm to determine the set of all the states of the PSPN which lead to deadlock is presented. Using this set, a controller for the PSPN is defined. Using this controller, a controller for the OPN is then obtained. Assuming that the given Petri net is bounded, the proposed approach always finds a controller in finite time whenever there exists one. Furthermore, this controller, when exists, is maximally permissive.