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, Turkey, 2 - 05 December 2010, pp.197-201 identifier

  • Publication Type: Conference Paper / Full Text
  • Volume:
  • City: Bursa
  • Country: Turkey
  • Page Numbers: pp.197-201
  • Istanbul Technical University Affiliated: Yes


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.