В докладе описывается метод провер-ки взаимодействия управляющих моделей между собой. С его помощью выявляются потенци-альные конфликты взаимодействия, которые могут послужить причиной аварий. Для выстроенной модели технологического объекта возможна ее обработкаалгоритмами проверки и исследования ее свойств, которые позволяют дать ответ на вопросыправильности ее структуры – возможности возникновения в ней ошибок в момент выполнения, правильности ее поведения во всевозможных ситуациях.