Automatic generation of Petri Net supervisors for railway interlocking design


DURMUS M. S. , YILDIRIM U., Söylemez M. T.

2nd Australian Control Conference, AUCC 2012, Sydney, Avustralya, 15 - 16 Kasım 2012, ss.180-185 identifier

  • Basıldığı Şehir: Sydney
  • Basıldığı Ülke: Avustralya
  • Sayfa Sayıları: ss.180-185