Исследована система форвакуумной откачки вакуумной камеры токамака КТМ на модели, реализованной с помощью сетей Петри. Определены качественные характеристики модели. На основе данных модели запрограммирован модуль предупредительной сигнализации, аварийной защиты и помощи оператору.