8607

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

Синтез сети петри, реализующей супервизор в структурированной дсс

Наименование конференции: 

  • 2-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва)

Наименование источника: 

  • Труды 2-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2010

Страницы: 

89-101
Аннотация
В работе для систем автоматизации, работающих в реальном времени, разработана методология синтеза управляющей Сети Петри. Методология основана на использовании для анализа функциональности и согласованности модели, названной структурированная дискретно-событийная система (СДСС). Определен состав модели СДСС, предложена техника анализа управляемости СДСС, разработан метод синтеза по СДСС-модели сети Петри, моделирующей процесс, разработаны техника анализа сети процесса и метод синтеза управляющей сети супервизора, обеспечивающей совместно с сетью процесса выполнение исходных спецификаций.

Библиографическая ссылка: 

Амбарцумян А.А., Браништов С.А. Синтез сети петри, реализующей супервизор в структурированной дсс / Труды 2-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва). М.: ИПУ РАН, 2010. С. 89-101.