Supervisory Control of Manufacturing Systems Modeled by Timed Petri Nets

İFTAR A.

12th IFAC Workshop on Intelligent Manufacturing Systems (IMS), Texas, Amerika Birleşik Devletleri, 5 - 07 Aralık 2016, cilt.49, ss.120-124 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 49
  • Doi Numarası: 10.1016/j.ifacol.2016.12.172
  • Basıldığı Şehir: Texas
  • Basıldığı Ülke: Amerika Birleşik Devletleri
  • Sayfa Sayıları: ss.120-124
  • Anahtar Kelimeler: Manufacturing systems, Petri nets, time-delays, supervisory control, stretching, DISCRETE-EVENT SYSTEMS, DEADLOCK PREVENTION, DESIGN, LIVENESS, ENFORCE, AVOIDANCE
  • Anadolu Üniversitesi Adresli: Evet

Özet

Petri nets is a common formalism to model many manufacturing systems. Although Petri nets were originally introduced without the notion of time, time-delays in many processes in manufacturing systems makes it necessary to use this notion in Petri nets. Petri nets, in which the time-delays are also modeled are commonly reffered to as timed Petri nets (TPNs). The representation of the state of any system is necessary in order to simulate the system or to design a controller for it. The representation of the state of a TPN, however, is complicated. One method to overcomne this difficulty is stretching. In this paper, the method of stretching is introduced for TPNs where both transitions and places are timed. Supervisory controller design for TPNs using stretching is then discussed. (C) 2016 IFAC (Internantional federation of Automatic Control ) Hosting by Elsevier Ltd. All rights reserved.