Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
мережа Петрі, сеть Петри
Підтеми:
Документи:
- Huseynzade, Sh. S. Formation of a modified fuzzy colored Petri net [Текст] / Sh. S. Huseynzade // Контроль і управління в складних системах (КУСС-2020) : XV Міжнародна конференція : тези доповідей, Вінниця, 8-10 жовтня 2020 року / ВНТУ, ХНУРЕ. – Вінниця : ВНТУ, 2020. – P. 34-36.
- Pukach, A. Development of Model, Based on Petri Nets, for the Planning Stage of Robotic Systems Design System [Текст] / A. Pukach, B. Dupak // Вісник Національного університету "Львівська політехніка". – 2014. – № 808 : Комп'ютерні науки та інформаційні технології. – С. 85-90.
- Абабий, В. Система управления динамическими объектами на основе НDL реализации сетей Петри [Текст] / В. Абабий, В. Судачевська // Контроль та управління в складних системах (КУСС-2005). – 2005. – С. 14.
- Алишов, Н. И. Метод синтеза услуг по защите информации в компьютерных сетях [Текст] / Н. И. Алишов, В. А. Марченко // УСиМ. – 2007. – № 6. – 60-66.
- Антощук, С. Г. Моделирование событий в видеопотоке с помощью стохастических сетей Петри [Текст] / С. Г. Антощук, Н. А. Годовиченко // Оптико-електронні інформаційно-енергетичні технології. – 2013. – № 1. – С. 5-11.
- Ахмедов, М. А. Моделирование динамичесчких взаимодействующих процессов с применением стохастических и нечетких сетей Петри [Текст] / М. А. Ахмедов, В. А. Мустафаев // Электронное моделирование. – 2013. – Т. 35, № 4. – С. 109-121.
- Башкин, В. А. Формализация семантики систем с ненадежными агентами при помощи сетей активных ресурсов [Текст] / В. А. Башкин // Программирование. – 2010. – № 4. – С. 3-15.
- Башкин, В. А. Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов [Текст] / В. А. Башкин, И. А. Ломазова // Кибернетика и системный анализ. – 2011. – Т. 47, № 2. – С. 31-39.
- Бушин, Д. И. Компаративная трассовая семантика временных сетей Петри [Текст] / Д. И. Бушин, И. Б. Вирбицкайте // Программирование. – 2015. – № 3. – С. 20-31.
- Васильева, Н. К. Динамическая модель инновационного обновления аграрных технологий в терминах сетей Петри [Текст] / Н. К. Васильева // УСиМ. – 2005. – № 4. – 76-85.
- Вибрицкайте, И. Б. "Истинно параллельная" и недетерменированная семантика дискретно-временных сетей Петри [Текст] / И. Б. Вибрицкайте, В. А. Боровлёв, Л. Попова-Цейгман // Программирование. – 2016. – № 4. – С. 4-16.
- Визовитин, Н. В. Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. – 2015. – Т. 51, № 2. – С, 62-74.
- Гладыш, С. В. Представление знаний об управлении инцидентами информационной безопасности посредством нечетких временных раскрашенных сетей Петри [Текст] / С. В. Гладыш // Інформаційні технології та комп'ютерна інженерія. – 2010. – № 1. – С. 57-64.
- Глибовец, Н. Н. Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы [Текст] / Н. Н. Глибовец, Д. К. Гломозда // Кибернетика и системный анализ. – 2008. – 44, № 4. – 15-19.
- Гломозда, Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками [Текст] / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец // Кибернетика и системный анализ. – 2018. – Т. 54, № 4. – С. 151-163.
- Дворянский, Л. В. Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри [Текст] / Л. В. Дворянский, И. А. Ломазова // Программирование. – 2016. – № 5. – С. 49-67.
- Денисенко, А. В. Інформаційні технології візуалізації технологічних процесів для дослідження режимів функціонування складних технологічних систем (англ.) [Текст] / А. В. Денисенко, О. О. Гурский // Системні дослідження та інформаційні технології. – 2021. – № 2. – С. 74-83.
- Діордієв, В. Т. Автоматизована система керування технологічними комплексами з дискретним режимом роботи виконавчих механізмів в умовах господарств АПК [Текст] / В. Т. Діордієв, А. О. Кашкарьов // Системні дослідження та інформаційні технології. – 2013. – № 2. – С. 26-37.
- Зайцев, Д. А. Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга [Текст] / Д. А. Зайцев // Системні дослідження та інформаційні технології. – 2012. – № 2. – С. 26-41.
- Зайцев, Д. А. Универсальная сеть Петри [Текст] / Д. А. Зайцев // Кибернетика и системный анализ. – 2012. – Т. 48, № 4. – С. 24-39.
- Зайцев, Д. А. Верификация телекоммуникационных протоколов с помощью декомпозиции моделей Петри [Текст] / Д. А. Зайцев // Зв'язок. – 2005. – № 1. – 41-45.
- Зайцев, Д. А. Инварианты временных сетей Петри [Текст] / Д. А. Зайцев // Кибернетика и системный анализ. – 2004. – № 2. – 92-106.
- Зайцев, Д. А. Композиционный анализ сетей Петри [Текст] / Д. А. Зайцев // Кибернетика и системный анализ. – 2006. – № 1. – 143-154.
- Зайцев, Д. А. Исследование эффективности технологии MPLS с помощью раскрашенных сетей Петри [Текст] / Д. А. Зайцев, А. Л. Сакун // Зв'язок. – 2006. – № 5. – 49-54.
- Зайцев, Д. А. Верификация коммуникационных структур гиперкуба параметрическими сетями Петри [Текст] / Д. А. Зайцев, Т. Р. Шмелева // Кибернетика и системный анализ. – 2010. – Т. 46, № 1. – С. 119-128.
- Зайцев, Д. А. Оценка характеристик сетей Ethernet с помощью параметрических моделей Петри [Текст] / Д. А. Зайцев, Т. Р. Шмелева // Зв'язок. – 2007. – № 4. – 62-67.
- Качур, С. А. Модель стохастических систем и их соединений на основе сетей Петри [Текст] / С. А. Качур // Проблемы управления и информатики. – 2002. – № 1. – 93-98.
- Качур, С. А. Структурная и параметрическая оптимизация на основе сетей Петри для совокупности измерительных систем с общим каналом наблюдения [Текст] / С. А. Качур // УСиМ. – 2005. – № 2. – 13-16.
- Келлерман, Ю. І. Системи понять і мережі Петрі [Текст] / Ю. І. Келлерман // Електроінформ. – 2004. – № 2. – 46-47.
- Коваленко, О. В. Управління вибухопожежним захистом об'єктів ядерної та радіаційної небезпеки на основі мереж Петрі [Текст] / О. В. Коваленко // Математичні машини і системи. – 2015. – № 3. – С. 150-157.
- Коваленко, Т. Н. Методика анализа пропускной способности сетей WiFi с использованием аппарата сетей Петри [Текст] / Т. Н. Коваленко // Радиотехника. – 2007. – № 151. – 29-36.
- Коваленко, Т. Н. Применение аппарата раскрашенных сетей Петри для моделирования интеллектуальной сети [Текст] / Т. Н. Коваленко // Радиотехника. – 2004. – № 138. – 65-74.
- Короткевич, А. Г. Обнаружение возможных тупиковых ситуаций в сетях из автоматов [Текст] / А. Г. Короткевич // Радиотехника. – 2004. – № 138. – 134-140.
- Кривий, С. Л. Аналіз властивостей мереж Петрі [Текст] / С. Л. Кривий, О. М. Максимець // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 86-89. – (Серія "Фізико-математичні науки").
- Кривий, С. Л. Формальні методи аналізу властивостей систем [Текст] / С. Л. Кривий, Л. Є. Матвєєва // Кибернетика и системный анализ. – 2003. – № 2. – 15-36.
- Крывый, С. Л. Экосистемы программной инженерии [Текст] / С. Л. Крывый, Е. А. Гриненко // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 128-143.
- Крывый, С. Л. Верификация программ:состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2013. – Т. 49, № 6. – С. 3-14.
- Крывый, С. Л. Верификация программ: состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2014. – Т. 50, № 1. – С. 11-20.
- Проектирование ИТ-инфраструктуры [Текст] / С. Л. Крывый, С. Д. Погорелый, Н. Н. Глибовец [и др.] // Кибернетика и системный анализ. – 2018. – Т. 54, № 6. – С. 141-158.
- Крывый, С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций [Текст] / С. Л. Крывый, А. В. Чугаенко // Кибернетика и системный анализ. – 2009. – Т. 45, № 4. – С. 31-48.
- Крывый, С. Л. Исследование ствойств документов MSC с помощью преобразования их в сети Петри [Текст] / С. Л. Крывый, А. В. Чугаенко, Л. Е. Матвеева // Кибернетика и системный анализ. – 2009. – Т. 45, № 6. – С. 165-171.
- Кузьминых, Е. Д. Модель процедуры управления соединением в протоколе SIP в форме раскрашенных сетей Петри [Текст] / Е. Д. Кузьминых // Радиотехника. – 2010. – № 163. – С. 92-98.
- Кузьмін, О. Є. Деякі задачі моделювання ресурсів виробничих систем мережами Петрі [Текст] / О. Є. Кузьмін, П. Р. Базилевич // Актуальні проблеми економіки. – 2012. – № 12. – С. 207-216.
- Кузьмук, В. В. Моделирование кинематических цепей на базе сетей Петри [Текст] / В. В. Кузьмук, О. А. Супруненко // Электронное моделирование. – 2004. – 26, № 2. – 99-104.
- Кузьмук, В. В. Расширение функциональных возможностей алгоритмического аппарата сетей Петри при моделировании параллельных процессов [Текст] / В. В. Кузьмук, О. О. Супруненко // Электронное моделирование. – 2009. – Т. 31, № 5. – С. 65-73.
- Лескин, А. А. Сети Петри в моделировании и управлении [Текст] / А. А. Лескин, П. А. Мальцев, А. М. Спиридонов. – Л. : Наука. Ленингр. отд-ние, 1989. – 136с. – ISBN 5-02-024462-7.
- Литвинов, В. В. Язык блочного имитационного моделирования на базе модифицированных диаграмм деятельности UML [Текст] / В. В. Литвинов, А. А. Задорожний, И. В. Богдан // Математичні машини і системи. – 2017. – № 4. – С. 151-159.
- Літвінов, В. В. Управління розподіленими ресурсами грід-системами [Текст] / В. В. Літвінов, І. В. Стеценко // Математичні машини і системи. – 2012. – № 2. – С. 3-12.
- Ломазова, И. А. Рекурсивные вложенные сети Петри: анализ семантических свойств и выразительность [Текст] / И. А. Ломазова // Программирование. – 2001. – № 4. – 21-35.
- Лукьянова, Е. А. Исследование однотипных структурных элементов CN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом [Текст] / Е. А. Лукьянова, А. В. Дереза // Кибернетика и системный анализ. – 2012. – Т. 48, № 6. – С. 20-29.
1
2
|