Automatic generation of petri net supervisors for interlocking design Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi

Yildirim U., Durmuş M. S., Söylemez M. T.

2010 7th National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010, Bursa, Türkiye, 2 - 05 Aralık 2010, ss.197-201 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Basıldığı Şehir: Bursa
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.197-201
  • İstanbul Teknik Üniversitesi Adresli: Evet

Özet

Signalization and interlocking design is one of the most crucial components that provide safe travelling and transportation on railways. In order to satisfy the requirements of CENELEC (European Committee for Electrotechnical Standardization) standards that are used for railways, there is a need of formal methods. While providing these standards, Petri Net design method also brings simplicity on programming after the design stage. In this study, a Mathematica© based programme that generates Petri Net supervisors automatically will be described.