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

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