В. Н. Дубинин
ОБ ОДНОЙ МЕТОДИКЕ ПРОЕКТИРОВАНИЯ
СУПЕРВИЗОРНОГО УПРАВЛЕНИЯ
ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ1
Аннотация. <...> В работе предлагается методика проектирования супервизоров
для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. <...> Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. <...> Приводится пример системы двух выталкивателей для демонстрации предложенной методики. <...> Ключевые слова: дискретно-событийные системы, супервизорное управление,
сетевые системы «условие–событие», запрещенная маркировка, методика проектирования, линейный шаг, частичная маркировка, выталкиватель, граф достижимости критических маркировок. <...> Keywords: discrete event systems, supervisory control, net condition/event systems,
forbidden marking, design technique, linear step, partial marking, pusher, reachability graph of critical markings. <...> Для решения задач проектирования управляющих систем для ДСС была разработана теория супервизорного управления [1]. <...> Основной задачей данной теории
является синтез супервизора по заданной модели ДСС и спецификации желаемого поведения системы. <...> Хорошей идеей в области проектирования супервизоров ДСС является
использование сетей Петри и производных от них моделей [2]. <...> Например,
в работе [3] для решения задач супервизорного управления используются
«сетевые системы условие–событие» (NCES-сети), а в [4] – безопасные NCESсети (sNCES-сети), являющиеся расширением сетей Петри. <...> В данной работе предлагается методика проектирования неблокируемых максимально разрешающих супервизоров для предотвращения запрещенных состояний, основанная на использовании расширенных sNCES-сетей. <...> Информатика, вычислительная техника
В дальнейшем супервизоры подобного типа будем также называть контроллерами безопасности. <...> 2) для решения задачи предотвращения используется изменение маркировки произвольных позиций (в том числе внутренних), а не изменение значений <...>