Tekstiviesti: Применение автоматных моделей для тренажного обучения операторов АСУ ТП магистральных газопроводов