• Класифікатори
• мережі, сети, networks

мережі Петрі, сети Петри

Документи:

• Моделювання систем [Електронний ресурс] [Текст] : лабораторний практикум для здобувачів освіт. ступ. "Бакалавр" спец. 122 "Комп'ютерні науки" освіт.-проф. програм "Комп'ютерні науки", "Інформаційні системи та штучний інтелект" ден. та заоч. форм навч. / уклад. : Н. В. Ліманська ; Нац. ун-т харч. технол. — Київ : НУХТ, 2023. — 62 с. — каф. інформаційних технологій, штучного інтелекту і кібербезпеки.
• Denisenko, A. V.
  Information technology of visualization for technological processes for research modes of functioning of complex technological systems [Текст] / A. V. Denisenko, A. A. Gurskiy // Системні дослідження та інформаційні технології. — 2021. — № 2. — С. 74-83. — Бібліогр. в кінці ст.
• Gurskiy, A.
  Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures [Текст] / A. Gurskiy, A. Denisenko, A. Goncharenko // Системні дослідження та інформаційні технології. — 2024. — № 2. — Р. 93-99.
• Kryvyi, S. L.
  Method of semantic application verification in gpgpu technology [Текст] / S. L. Kryvyi, Y. Y. Slynko M. S. Pogoril, A. A. Kramov // Системні дослідження та інформаційні технології. — 2020. — № 3. — P. 7-22. — Бібліогр. в кінці ст.
• Интеллектуальная система обучения с адаптивным построением курса на LMS Moodle [Текст] / Т. О. Авдеева, Хак Д. Лыонг, М. Ауад, Балуши М. Аль // Приборы и системы.Управление, контроль, диагностика. — 2012. — № 3. — С. 71-74. — Библиогр.: с. 74.
• Ахмеш, Тамем
  Моделі й методи поведінкового робочого контролю розподілених систем моніторингу й діагностування на основі мережі Петрі [Текст] : автореф. дис. ... канд. екон. наук : 05.13.06 "Інформаційні технології" / Т. Ахмеш ; Одес. нац. політех. ун-т. — Одеса, 2020. — 20 с.
• Методы исследования свойств высокопроизводительных инфраструкткр [Текст] / Ю. В. Бойко, Н. Н. Глибовец, С. В. Ершов и др. // Управляющие системы и машины (УСиМ). — 2015. — № 1 (255). — С. 3-13. — Библиогр. в конце ст.
• Визовитин, Н. В.
  Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. — 2015. — Т. 51, № 2. — C. 62-74. — Библиогр. в конце ст.
• Громов, Ю. Ю.
  Динамическое моделирование сетецентрической информационной системы с топологией общая шина [Текст] / Ю. Ю. Громов, А. В. Яковлев, Е. О. Васюкова // Приборы и системы. Управление, контроль, диагностика. — 2015. — № 12. — С. 10-18. — Библиогр. конце ст.
• Губарев, Александр Павлович
  Механотроника : от структуры системы к алгоритму управления [Текст] / А. П. Губарев, О. В. Левченко ; Нац. техн. ун-т Украины "Киев. полетех. ин-т". — Киев : КПИ, 2007. — 180 с. — ISBN 978-966-646-088-5.
• Гурський, Олександр Олександрович
  Автоматизація холодильної турбокомпресорної установки на базі системи координуючого керування [Текст] : автореф. дис. ... канд. техн. наук / О. О. Гурський ; Одес. нац. політех. ун-т. — О., 2012. — 20 с.
• Діордієв, В. Т.
  Автоматизована система керування технологічними комплексами з дискретним режимом роботи виконавчих механізмів в умовах господарств АПК [Текст] / В. Т. Діордієв, А. О. Кашкарьов // Системні дослідження та інформаційні технології. — 2013. — № 2. — С. 26-37. — Бібліогр. в кінці ст.
• Діордієв, В. Т.
  Система керування виробництвом комбікормів на основі мереж Петрі [Текст] / В. Т. Діордієв, А. О. Кашкарьов // Автоматика/Automatika-2012. — 2012. — С. 184-185. — Бібліогр.: с. 185.
• Дудюк, Дмимтро Лук'янович
  Гнучке автоматизоване виробництво і роботизовані комплекси [Текст] : навч. посіб. / Д. Л. Дудюк, С. С. Мазепа, М. М. Мисик. — Львів : Магнолія 2006, 2008. — 278 с. — (Вища освіта в Україні). — ISBN 966-834-53-1.
• Зайцев, Д. А.
  Парадигма вычислений на сетях Петри [Текст] / Д. А. Зайцев // Автоматика и телемеханика. — 2014. — № 8. — С. 19-36. — Библиогр. конце ст.
• Зайцев, Д. А.
  Универсальная сеть Петри [Текст] / Д. А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Библиогр. в конце ст.
• Подход к формированию набора информационных ресурсов образовательного назначения на основе нечетких сетей Петри [Текст] / О. Г. Иванова, Т. О. Авдеева, Хак Д. Лыонг и др. // Приборы и системы.Управление, контроль, диагностика. — 2012. — № 3. — С. 55-58. — Библиогр.: с. 58.
• Кашкарьов, Антон Олександрович
  Удосконалення інформаційного забезпечення системи керування організаційно-технічним комплексом виробництва комбікормів на основі еталонної моделі [Електронний ресурс] [Текст] : автореф. дис... канд. техн. наук : 05.13.07 / А. О. Кашкарьов ; Нац. ун-т харч. технол. — К., 2013. — 1fd.
• Кашкарьов, Антон Олександрович
  Удосконалення інформаційного забезпечення системи керування організаційно-технічним комплексом виробництва комбікормів на основі еталонної моделі [Текст] : дис. ... канд. техн. наук : 05.13.07 / А. О. Кашкарьов ; Тавр. держ. агротех. ун-т. — Мелітополь, 2013. — 195 с.
• Кашкарьов, Антон Олександрович
  Удосконалення інформаційного забезпечення системи керування організаційно-технічним комплексом виробництва комбікормів на основі еталонної моделі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.07 / А. О. Кашкарьов ; Нац. ун-т харч. технол. — К., 2013. — 20 с.
• Козирський, В. В.
  Використання нечітких мереж Петрі для формування навчальних вибірок синтезу нейронних мереж [Текст] / В. В. Козирський, В. В. Момотюк, Н. А. Заєць // Наукові праці Національного університету харчових технологій. — 2016. — Т. 22, № 6. — С. 28-34. — Бібліогр. в кінці ст.
• Колесник, В. В.
  Імітаційне моделювання як основа для побудови алгоритмів керування системами електроживлення Microgrid [Текст] / В. В. Колесник, Т. А. Хижняк // Энергосбережение. Энергетика. Энергоаудит. — 2016. — № 7 (150). — С. 11-15. — Біліогр. в кінці ст.
• Копп, В. С.
  Интеллектуальное управление сложными системами в нештатных ситуациях на базе моделей сетей Петри [Текст] / В. С. Копп, С. А. Качур // Управляющие системы и машины (УСиМ). — 2013. — № 6 (248). — С. 13-18. — Библиогр. в конце ст.
• Крывый, С. Л.
  Верификация программ : состояние, проблемы, результаты. I [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — C. 3-14. — Библиогр. в конце ст.
• Крывый, С. Л.
  Верификация программ : состояние, проблемы, результаты. II [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 48, № 1. — С. 11-20. — Библиогр. в конце ст.
• Ліманська, Н. В.
  Удосконалення процесу планування ремонтно-профілактичних робіт/ [Текст] / Н. В. Ліманська, С. В. Грибков // Наукові праці Національного університету харчових технологій. — 2021. — Т. 27, № 3. — C. 7-14. — Бібліогр. в кінці ст.
• Лукьянова, Е. А.
  Исследование однотипных структурных элементов cn-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом [Текст] / Е. А. Лукьянова, А. В. Дереза // Кибернетика и системный анализ. — 2012. — Т. 48, № 6. — С. 20-29. — Библиогр. в конце ст.
• Лукьянова, Е. А.
  О гомоморфизме компонентной сети Петри [Текст] / Е. А. Лукьянова // Кибернетика и системный анализ. — 2014. — Т. 48, № 1. — С. 36-44. — Библиогр. в конце ст.
• Матюхина, Е. Н.
  Организация программного обслуживания многоканального терминального адаптера специализированной коммуникационной системы [Текст] / Е. Н. Матюхина, М. А. Чистякова // Промышленные АСУ и конроллеры. — 2015. — № 3. — С. 33-43. — Библиогр. в конце ст.
• Мацнев, А. П.
  Моделирование логических систем управления на основе трансформационных сетей (Т-сетей) [Текст] / А. П. Мацнев // Промышленные АСУ и конроллеры. — 2014. — № 2. — С. 35-38. — Библиогр. в конце ст.
• Мельник, А. О.
  Подання та структурний аналіз паралельних алгоритмів [Текст] : навч. посібник / А. О. Мельник, І. Д. Яковлєва. — Львів : Магнолія 2006, 2024. — 110 с. — (Комп'ютерна інженерія). — ISBN 978-617-574-25-5.
• Міхаль, Олег Пилипович
  Обчислювальні методи, засоби та реалізація локально-паралельної обробки нечіткої інформації [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.13 / О. П. Міхаль ; Харків. нац. ун-т радіоелектроніки. — Х., 2007. — 35 с.
• Нестерюк, Олександр Геннадійович
  Інформаційна технологія моделювання і аналізу дискретно-неперервних автоматизованих систем управління [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / О. Г. Нестерюк ; Одес. нац. політех. ун-т. — Одеса, 2016. — 22 с.
• Питерсон, Джеймс
  Теория сетей Петри и моделирование систем [Текст] : Пер. с англ. / Д. Питерсон ; Под ред. В.А. Горбатова. — М. : Мир, 1984. — 264 с.
• Погорілий, С. Д.
  Підходи до формалізації проектування застосувань в технології GPGPU [Текст] / С. Д. Погорілий, О. А. Верещинський, Д. Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — C. 45-59. — Бібліогр. в кінці ст.
• Погребнюк, Ірина Мирославівна
  Моделювання сценаріїв адаптивного навчання з використанням мереж Петрі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / І. М. Погребнюк ; Нац. трансп. ун-т. — К., 2013. — 20 с.
• Савельєв, Максим Володимирович
  Моделі та інструментальні засоби інформаційної технології підтримки університетських бізнес-інкубаторів ІТ-компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / М. В. Савельєв ; Ін-т пробл. мат. машин і систем. — Київ, 2017. — 23 с.
• Соболь, В. М.
  Инфологические элементы синтеза программ специализированной документальной связи [Текст] / В. М. Соболь // Приборы и системы. Управление, контроль, диагностика. — 2013. — № 10. — С. 17-25. — Библиогр. конце ст.
• Соболь, В. М.
  Обслуживание сообщений и переговоров в сети специального назначения [Текст] / В. М. Соболь // Промышленные АСУ и конроллеры. — 2015. — № 1. — С. 62-70. — Библиогр. в конце ст.
• Спектровский, И. Я.
  Применение сетей Петри для анализа КС-грамматик [Текст] / И. Я. Спектровский // Системні дослідження та інформаційні технології. — 2011. — № 4. — С. 129-133. — Библиогр. в конце ст.
• Станкевич, В. М.
  Регулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителе [Текст] / В. М. Станкевич // Системні дослідження та інформаційні технології. — 2020. — № 3. — С. 105-123. — Библиогр. в конце ст.
• Статкевич, В. М.
  Операцияразностидлярегулярныхязыковсетейпетривзадачеопроизводителеипотребителесограниченнымбуфером [Текст] / В. М. Статкевич // Системні дослідження та інформаційні технології. — 2021. — № 2. — С. 94-112. — Библиогр. в конце ст.
• Стеценко, И. В.
  Уравнения состояний стохастических временных сетей Петри с информационными связями [Текст] / И. В. Стеценко // Кибернетика и системный анализ. — 2012. — Т. 48, № 5. — С. 164-179. — Библиогр. в конце ст.
• Томашевський, Валенетин Миколайович
  Моделювання систем [Текст] : Підруч. / В. М. Томашевський. — К. : Вид. група BHV, 2005. — 352 с. — ISBN 966-552-120-9.
• Юдицкий, С. А.
  Бинарные сетевые дорожные карты процессов управления проектами [Текст] / С. А. Юдицкий, В. З. Магергут, А. В. Чуев // Приборы и системы. Управление, контроль, диагностика. — 2013. — № 4. — С. 1-9. — Библиогр. конце ст.
• Динамическая модель системы обнаружения сетевых червей [Текст] / А. В. Яковлев, Ю. Ю. Громов, П. А. Щербинин, А. М. Шуваева // Приборы и системы. Управление, контроль, диагностика. — 2014. — № 6. — С. 13-24. — Библиогр. конце ст.
• Моделирование системы безопасности мобильного банка с использованием аппарата сетей Петри [Текст] / А. В. Яковлев, В. Е. Дидрих, Ю. В. Минин, Т. И. Москвичева // Приборы и системы. Управление, контроль, диагностика. — 2013. — № 7. — С. 21-27. — Библиогр. конце ст.
• Сетевая динамическая модель системы обнаружения троянских программ [Текст] / А. В. Яковлев, В. Е. Дидрих, П. А. Щербинин, Т. И. Москвичева // Приборы и системы. Управление, контроль, диагностика. — 2015. — № 1. — С. 25-32. — Библиогр. конце ст.
• Модель системы обнаружения удаленных сетевых атак [Текст] / А. В. Яковлев, Ю. Ф. Мартемьянов, В. А. Гриднев, П. А. Щербинин // Приборы и системы. Управление, контроль, диагностика. — 2014. — № 8. — С. 22-29. — Библиогр. конце ст.
• Ямпольський, Леонід Стефанович
  Системи штучного інтелекту в плануванні, моделюванні та управлінні [Текст] : підручник / Л. С. Ямпольський, Б. П. Ткач, О. І. Лісовиченко ; Міжрег. акад. упр. персон. — Київ : Персонал, 2011. — 544 с. — ISBN 978-966-608-961-1.