Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. II. Метод синтеза супервизора по множеству последовательностей общего вида

Предлагается метод синтеза супервизора в составе сети Петри, построенной по структурированной дискретно-событийной модели рассредоточенного объекта. Метод является развитием предложенного автором ранее базового метода синтеза в рамках механизма взаимодействия. Рассмотрены варианты взаимодействия компонентов рассредоточенного объекта. Предложены типовые схемы передачи взаимодействия в сети супервизора. Метод синтеза супервизора основан на процедуре анализа матрицы срабатывания и конструировании компонентов сети по результатам этого анализа. Проведено исследование зависимости сложности сети Петри, синтезированной предложенным методом, от объема описания дискретно-событийной системы и получены соответствующие оценки.