МОДЕЛИРОВАНИЕ И СИНТЕЗ СУПЕРВИЗОРНОГО УПРАВЛЕНИЯ НА СЕТЯХ ПЕТРИ ДЛЯ РАССРЕДОТОЧЕННЫХ ОБЪЕКТОВ. I. МЕХАНИЗМ ВЗАИМОДЕЙСТВИЯ И БАЗОВЫЙ

摘要

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