Controller design to enforce boundedness, liveness and reversibility in Petri nets

Aybar A., Iftar A.

7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Macaristan, 6 - 08 Nisan 2003, ss.181-186 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Budapest
  • Basıldığı Ülke: Macaristan
  • Sayfa Sayıları: ss.181-186
  • Anahtar Kelimeler: Petri nets, liveness, reversibility, boundedness, supervisory controller design, manufacturing systems
  • Anadolu Üniversitesi Adresli: Hayır

Özet

Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties simultaneously. It is shown that the proposed approach always finds a controller to enforce these properties whenever it is possible. Furthermore, the controller obtained is the least restrictive controller among all controllers which enforce these properties simultaneously. Copyright (C) 2003 IFAC