Аннотация:
Излагается методология дискретно-событийного моделирования класса рассредоточенных объектов и их требуемого поведения (спецификаций) при проектировании систем автоматизации, работающих в реальном времени. В методологии используется модель – структурированная дискретно-событийная система (СДС2) – на первом этапе для анализа функциональности и согласованности объекта и спецификации, а на втором – в рамках СДС2 предлагается базовый метод синтеза модели объекта и супервизора на сетях Петри (моделирующей и управляющей). При этом супервизор предлагается синтезировать как сеть Петри, встроенную в СДС2 по схеме обратной связи с целью ограничения функционирования объекта в соответствии с требованиями спецификации. Предложен механизм взаимодействия моделирующей и управляющей сетей Петри с объектом и внешней средой. Механизм взаимодействия, по сути, является схемой управления объектом на основе сконструированной сети. Этот механизм выполняет анализ текущего состояния объекта и вычисляет управление на актуаторы объекта. Вычисления осуществляются циклической процедурой по матричному представлению сети.
Статья представлена к публикации членом редколлегии:О. П. Кузнецов
Образец цитирования:
А. А. Амбарцумян, “Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. I. Механизм взаимодействия и базовый метод”, Автомат. и телемех., 2011, № 8, 151–169; Autom. Remote Control, 72:8 (2011), 1718–1734
А. Н. Сочнев, “Планирование ресурсов производства на основе сетевых моделей”, УБС, 86 (2020), 116–131
С. К. Кузнецов, А. И. Потехин, “Современные системы поддержки принятия решений железнодорожным диспетчером”, Пробл. управл., 6 (2017), 2–14
А. И. Потехин, “Логические модели объектов железнодорожной станции”, Пробл. управл., 5 (2016), 71–79
А. И. Потехин, С. А. Браништов, С. К. Кузнецов, “Дискретно-событийные модели железнодорожной сети”, Пробл. управл., 1 (2014), 73–81; A. I. Potekhin, S. A. Branishtov, S. K. Kuznetsov, “Railway network discrete-event models”, Automation and Remote Control, 77:2 (2016), 344–355
Хадеев А.С., Браништов С.А., “Метод синтеза ld-программ для плк на основе концепции супервизорного управления дискретно-событийными системами, представленными в сетях петри”, Автоматизация, телемеханизация и связь в нефтяной промышленности, 2013, № 1, 42–48
Synthesis method of ld-programs for the plc on the basis of the concept supervisor control for discrete-events systems available in the petri nets
А. А. Амбарцумян, А. И. Потехин, “Групповое управление в дискретно-событийных системах”, Пробл. управл., 5 (2012), 46–53
А. А. Амбарцумян, “Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. II. Метод синтеза супервизора по множеству последовательностей общего вида”, Автомат. и телемех., 2011, № 9, 173–189; A. A. Ambartsumyan, “Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences”, Autom. Remote Control, 72:9 (2011), 1951–1966