Метод діагностування підсистеми залізничної автоматики за допомогою мереж Петрі

Abstract

На даний час спостерігається постійне зростання складності систем залізничної автоматики (СЗА), що призводить до ускладнення процесу розроблення систем та вимагає удосконалення методів та способів діагностування у процесі експлуатації. Для вирішення даних проблем широко використовуються методи моделювання. Як показано в роботі [1], для моделювання СЗА доцільно використовувати мережі Петрі. Моделювання СЗА за допомогою мереж Петрі надає можливість виконати формальний опис процесів функціонування та визначити важливі властивості даних систем. У роботі запропоновано метод діагностування несправностей у підсистемі керування стрілочним електроприводом з електродвигуном постійного струму на основі аналізу графу досяжності мережі Петрі, що моделює функціонування даної підсистеми.