Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу
The paper deals with a model of an intelligent system related to the automatic synthesis of Petri nets and presents a certain stage of developing this model. The peculiarity of the extended mathematical apparatus is that it contains a combination of Petri net incidence matrices to represent various...
Saved in:
| Date: | 2024 |
|---|---|
| Main Authors: | Gurskiy, Alexander, Denisenko, Andrey, Goncharenko, Alexander |
| Format: | Article |
| Language: | English |
| Published: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2024
|
| Subjects: | |
| Online Access: | http://journal.iasa.kpi.ua/article/view/309718 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | System research and information technologies |
Institution
System research and information technologiesSimilar Items
Інформаційні технології візуалізації технологічних процесів для дослідження режимів функціонування складних технологічних систем
by: Denisenko, Andrei, et al.
Published: (2021)
by: Denisenko, Andrei, et al.
Published: (2021)
Зв’язок мереж Петрі з бездужковим польським записом
by: Statkevich, Vitaly M.
Published: (2016)
by: Statkevich, Vitaly M.
Published: (2016)
Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
by: Антощук, С. Г., et al.
Published: (2014)
by: Антощук, С. Г., et al.
Published: (2014)
Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
by: Statkevych, Vitalii
Published: (2021)
by: Statkevych, Vitalii
Published: (2021)
Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача
by: Statkevych, Vitalii M.
Published: (2020)
by: Statkevych, Vitalii M.
Published: (2020)
Модифікація мереж Петрі з антисипацією по позиції
by: Statkevych, Vitalii
Published: (2023)
by: Statkevych, Vitalii
Published: (2023)
Принципи синтезу координувальних систем автоматичного управління
by: Gurskiy, Alexander, et al.
Published: (2026)
by: Gurskiy, Alexander, et al.
Published: (2026)
Метод семантичної верифікації застосувань у технології GPGPU
by: Kryvyi, Serhii L., et al.
Published: (2020)
by: Kryvyi, Serhii L., et al.
Published: (2020)
БАГАТОКРИТЕРІАЛЬНИЙ СИНТЕЗ НЕЛІНІЙНОГО РОБАСТНОГО КЕРУВАННЯ З ДВОМА СТУПЕНЯМИ СВОБОДИ ДИСКРЕТНО-КОНТИНУАЛЬНИМ ОБ’ЄКТОМ
by: Кузнецов, Б.І., et al.
Published: (2020)
by: Кузнецов, Б.І., et al.
Published: (2020)
УЗАГАЛЬНЕННЯ ОСНОВНИХ ПОЛОЖЕНЬ ДЕКОМПОЗИЦІЇ ТРАНСФОРМАТОРНО-КЛЮЧОВИХ ВИКОНАВЧИХ СТРУКТУР РЕГУЛЯТОРІВ НАПРУГИ З ДИСКРЕТНО-РАЗОВИМ КЕРУВАННЯМ НАПІВПРОВІДНИКОВИМИ ЕЛЕМЕНТАМИ
by: Липківський, К.О., et al.
Published: (2024)
by: Липківський, К.О., et al.
Published: (2024)
Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
by: Statkevych, Vitalii
Published: (2024)
by: Statkevych, Vitalii
Published: (2024)
МОДЕЛЬ ОПТИМАЛЬНОГО РОЗПОДІЛУ ГІДРОРЕСУРСІВ ГЕС З РЕЗЕРВУВАННЯМ ПОТУЖНОСТЕЙ ДЛЯ НАДАННЯ ДОПОМІЖНИХ ПОСЛУГ АВТОМАТИЧНОГО ВІДНОВЛЕННЯ ЧАСТОТИ
by: Парус, Є.В., et al.
Published: (2024)
by: Парус, Є.В., et al.
Published: (2024)
Зменшення шумів і завад шляхом раціонального вибору електронних компонентів в каналах з зосередженими параметрами при високошвидкісній обробці даних
by: Tynynyka , Oleksandr
Published: (2019)
by: Tynynyka , Oleksandr
Published: (2019)
Вплив структури плівок алюмінію та режимів формовки пор на нанопоруватий анодний оксид алюмінію для оптичних сенсорів
by: Лєбєдєва, Т.С., et al.
Published: (2019)
by: Лєбєдєва, Т.С., et al.
Published: (2019)
Конструкторські методи зменшення шумів і завад у каналах із зосередженими параметрами при високошвидкісній обробці даних
by: Tynynyka, A.
Published: (2019)
by: Tynynyka, A.
Published: (2019)
Разработка, реализация и оценка эфективности методов планирования ресурсов Grid в пакете Gridsim
by: Минухин, С.В., et al.
Published: (2012)
by: Минухин, С.В., et al.
Published: (2012)
Семантична анотація Веб-сервісів
by: Захарова, О.В.
Published: (2015)
by: Захарова, О.В.
Published: (2015)
A peer-to-peer topology and multicasting algorithm with guaranteed quality of experience
by: Hordiichuk, O.V., et al.
Published: (2015)
by: Hordiichuk, O.V., et al.
Published: (2015)
Анализ вычислительных ресурсов персональных компьютеров
by: Лопаткин, Р.Ю., et al.
Published: (2015)
by: Лопаткин, Р.Ю., et al.
Published: (2015)
Розробка Web-прототипу для аналізу висловлювань користувачів соціальної мережі Twitter
by: Глибовець, А.М., et al.
Published: (2014)
by: Глибовець, А.М., et al.
Published: (2014)
Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах
by: Ігнатенко, О.П.
Published: (2012)
by: Ігнатенко, О.П.
Published: (2012)
Подход к определению полноты композиции семантических Веб–сервисов
by: Дерецкий, В.А.
Published: (2009)
by: Дерецкий, В.А.
Published: (2009)
Подход к композиции Веб–сервисов на основе спецификации функциональной семантики
by: Дерецкий, В.А.
Published: (2009)
by: Дерецкий, В.А.
Published: (2009)
Системи виявлення Web-сервісів в сервіс-орієнтованій архітектурі: проблеми і рішення
by: Ремарович, С.С.
Published: (2015)
by: Ремарович, С.С.
Published: (2015)
Создание развитых интернет-программ на примере построения виджет-программ
by: Глибовец, Н.Н., et al.
Published: (2011)
by: Глибовец, Н.Н., et al.
Published: (2011)
Про уніфікацію способів обробки структурованої інформації
by: Дорошенко, А.Ю., et al.
Published: (2011)
by: Дорошенко, А.Ю., et al.
Published: (2011)
Стандартизація процедур управління
by: Горчакова, О.
Published: (2009)
by: Горчакова, О.
Published: (2009)
ОЦІНЮВАННЯ НАДІЙНОСТІ СКЛАДНИХ СИСТЕМ В УМОВАХ НЕВИЗНАЧЕНОСТІ У КОНТЕКСТІ ЗАБЕЗПЕЧЕННЯ НАЦІОНАЛЬНОЇ СТІЙКОСТІ
by: Pyrozhkov , S., et al.
Published: (2023)
by: Pyrozhkov , S., et al.
Published: (2023)
Корифей автоматизації сільськогосподарського виробництва України
by: Головата, О.О.
Published: (2011)
by: Головата, О.О.
Published: (2011)
Корифей автоматизації сільськогосподарського виробництва України
by: Головата, О.О.
Published: (2011)
by: Головата, О.О.
Published: (2011)
Апроксимативні властивості двовимірних неперервних дробів
by: Кучмінська, Х.Й., et al.
Published: (2003)
by: Кучмінська, Х.Й., et al.
Published: (2003)
Метод обробки ARPES спектрів на основі U-Net
by: Pustovit, Yu.V., et al.
Published: (2025)
by: Pustovit, Yu.V., et al.
Published: (2025)
Інтеграція і композиція сервісів на основі моделі
by: Дивак, Ю., et al.
Published: (2022)
by: Дивак, Ю., et al.
Published: (2022)
Веб-сервіс для систем управління ресурсами підприємства
by: Тарасенко, А.Д., et al.
Published: (2022)
by: Тарасенко, А.Д., et al.
Published: (2022)
Сучасні тенденції в автоматизації промислових комплексів
by: Svjatnyj, Vladimir A., et al.
Published: (2016)
by: Svjatnyj, Vladimir A., et al.
Published: (2016)
Сучасні тенденції в автоматизації промислових комплексів
by: Святний, В.А., et al.
Published: (2016)
by: Святний, В.А., et al.
Published: (2016)
Особливості організації сучасних систем автоматизації міркувань
by: Мороховець, М.К.
Published: (2003)
by: Мороховець, М.К.
Published: (2003)
Нові технології в автоматизації Київської ГЕС
by: Касьянюк, Я.Л.
Published: (2013)
by: Касьянюк, Я.Л.
Published: (2013)
Система автоматизації проектування цифрових фільтрів зображень
by: Жереб, К.А., et al.
Published: (2010)
by: Жереб, К.А., et al.
Published: (2010)
ВАРІАТИВНІСТЬ ВИБОРУ ВИКОНАВЧОЇ СТРУКТУРИ БАГАТОРІВНЕВОГО ВИПРЯМЛЯЧА З ОБМЕЖЕНИМ ДІАПАЗОНОМ РЕГУЛЮВАННЯ ВИХІДНОЇ НАПРУГИ
by: Липківський, К.О. , et al.
Published: (2025)
by: Липківський, К.О. , et al.
Published: (2025)
Similar Items
-
Інформаційні технології візуалізації технологічних процесів для дослідження режимів функціонування складних технологічних систем
by: Denisenko, Andrei, et al.
Published: (2021) -
Зв’язок мереж Петрі з бездужковим польським записом
by: Statkevich, Vitaly M.
Published: (2016) -
Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
by: Антощук, С. Г., et al.
Published: (2014) -
Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
by: Statkevych, Vitalii
Published: (2021) -
Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача
by: Statkevych, Vitalii M.
Published: (2020)