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