ПРОВЕРКА СВОЙСТВА КО-НАБЛЮДАЕМОСТИ ФОРМАЛЬНОГО ЯЗЫКА ПРИ ПОМОЩИ ЛОГИЧЕСКОГО ВЫВОДА

Subject Terms: автономные необитаемые подводные аппараты, дискретно-событийные системы, автоматическое доказательство теорем

Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе

Authors: Амбарцумян, Александр

Subject Terms: СИСТЕМЫ УПРАВЛЕНИЯ, СЕТЕЦЕНТРИЧЕСКИЕ СИСТЕМЫ, ЛОГИЧЕСКОЕ УПРАВЛЕНИЕ, ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ, СОБЫТИЙНЫЕ МОДЕЛИ, СЕТИ ПЕТРИ, NETWORK-CENTRIC SYS­TEM

File Description: text/html

Availability: http://cyberleninka.ru/article/n/setetsentricheskoe-upravlenie-na-setyah-petri-v-strukturirovannoy-diskretno-sobytiynoy-sisteme
http://cyberleninka.ru/article_covers/2835384.png

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

Authors: Дубинин, Виктор

Subject Terms: ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ,СУПЕРВИЗОРНОЕ УПРАВЛЕНИЕ,СЕТЕВЫЕ СИСТЕМЫ "УСЛОВИЕ-СОБЫТИЕ",ЗАПРЕЩЕННАЯ МАРКИРОВКА,МЕТОДИКА ПРОЕКТИРОВАНИЯ,ЛИНЕЙНЫЙ ШАГ,ЧАСТИЧНАЯ МАРКИРОВКА,ВЫТАЛКИВАТЕЛЬ,ГРАФ ДОСТИЖИМОСТИ КРИТИЧЕСКИХ МАРКИРОВОК,DISCRETE EVENT SYSTEMS,SUPERVISORY CONTROL,NET CONDITION/EVENT SYSTEMS,FORBIDDEN MARKING,DESIGN TECHNIQUE,LINEAR STEP,PARTIAL MARKING,PUSHER,REACHABILITY GRAPH OF CRITICAL MARKINGS

File Description: text/html

Availability: http://cyberleninka.ru/article/n/ob-odnoy-metodike-proektirovaniya-supervizornogo-upravleniya-dlya-diskretno-sobytiynyh-sistem
http://cyberleninka.ru/article_covers/14104638.png

Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе

Source: Управление большими системами: сборник трудов.

Subject Terms: СИСТЕМЫ УПРАВЛЕНИЯ, СЕТЕЦЕНТРИЧЕСКИЕ СИСТЕМЫ, ЛОГИЧЕСКОЕ УПРАВЛЕНИЕ, ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ, СОБЫТИЙНЫЕ МОДЕЛИ, СЕТИ ПЕТРИ, NETWORK-CENTRIC SYS­TEM

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/setetsentricheskoe-upravlenie-na-setyah-petri-v-strukturirovannoy-diskretno-sobytiynoy-sisteme
http://cyberleninka.ru/article_covers/2835384.png

Об одной методике проектирования супервизорного управления для дискретно-событийных систем

Source: Известия высших учебных заведений. Поволжский регион. Технические науки.

Subject Terms: ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ, СУПЕРВИЗОРНОЕ УПРАВЛЕНИЕ, СЕТЕВЫЕ СИСТЕМЫ 'УСЛОВИЕ-СОБЫТИЕ', ЗАПРЕЩЕННАЯ МАРКИРОВКА, МЕТОДИКА ПРОЕКТИРОВАНИЯ, ЛИНЕЙНЫЙ ШАГ, ЧАСТИЧНАЯ МАРКИРОВКА, ВЫТАЛКИВАТЕЛЬ, ГРАФ ДОСТИЖИМОСТИ КРИТИЧЕСКИХ МАРКИРОВОК, NET CONDITION/EVENT SYSTEMS

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14104638.png
http://cyberleninka.ru/article/n/ob-odnoy-metodike-proektirovaniya-supervizornogo-upravleniya-dlya-diskretno-sobytiynyh-sistem

Создание моделей компьютерных сетей в среде дискретно-событийных систем

Authors: Румянцев Н. С., Полукаров Д. Ю., Соловьева Я. В., Министерство науки и высшего образования Российской Федерации, Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет), Институт информатики и кибернетики

Subject Terms: 50.01, 004.9

Subject Geographic: INET FRAMEWORK. OMNET++, RIVERBED MODELER, TCP протокол, дискретно-событийные системы, имитационное моделирование, интернет-трафик, компьютерные сети, моделирование компьютерных сетей, симуляторы дискретных событий, симуляторы сети

Relation: RU\НТБ СГАУ\ВКР20231004133921

Availability: http://repo.ssau.ru/handle/Vypusknye-kvalifikacionnye-raboty/Sozdanie-modelei-komputernyh-setei-v-srede-diskretnosobytiinyh-sistem-106101