A formal technique for the synthesis of Petri net supervisors for Discrete Event Systems

Jones A., UZAM M.

UKACC International Conference on Control 98, Swansea, Birleşik Krallık, 1 - 04 Eylül 1998, ss.845-852 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Basıldığı Şehir: Swansea
  • Basıldığı Ülke: Birleşik Krallık
  • Sayfa Sayıları: ss.845-852
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

In this paper a formal technique for the synthesis of Petri-net-based supervisors for Discrete Event Systems is proposed to solve the forbidden state problem. The solution has close parallels to the Finite State Machine approach proposed by Ramadge and Wonham. The technique thus provides a Petri net equivalent method to act as further stimulus to solving the synthesis of supervisory control problems. In this paper the methodology is explained in detail by considering a discrete manufacturing system.