On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places

UZAM M.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, cilt.47, ss.567-579, 2010 (SCI-Expanded) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 47
  • Basım Tarihi: 2010
  • Doi Numarası: 10.1007/s00170-009-2219-0
  • Dergi Adı: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.567-579
  • Anahtar Kelimeler: Discrete event systems, Supervisory control, Petri nets, Monitors, REAL MANUFACTURING SYSTEM, FORBIDDEN-STATE PROBLEMS, DISCRETE-EVENT SYSTEMS, FEEDBACK-CONTROL LOGIC, MARKED GRAPHS
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

Recently, a study has been presented for suboptimal supervisory control of Petri nets via monitor (control) places in the presence of uncontrollable transitions. To enforce a generalized mutual exclusion constraint (GMEC) suboptimally on a plant Petri net with uncontrollable transitions, a set of monitor places has been provided to choose from. There are two main results of this study, the first of which is that "there is not an optimal solution to the problem of computing a monitor-based controller to enforce a GMEC on a plant net in the presence of uncontrollable transitions". The second result deals with the computation of monitor places for the suboptimal supervisory control in such Petri nets. In this paper, it is shown that there may be an optimal solution to the problem of computing a monitor-based controller to enforce a GMEC on a plant net in the presence of uncontrollable transitions. To do this, an example Petri net is considered and then two different optimal (maximally permissive) solutions are provided for this Petri net.