Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
мережа Петрі, сеть Петри
Підтеми:
Документи:
- Лукьянов, Е. А. О гомоморфизме компонентной сети Петри [Текст] / Е. А. Лукьянов // Кибернетика и системный анализ. – 2014. – Т. 50, № 1. – С. 36-44.
- Лук'янова, О. О. Про бісимуляційну еквівалентність детальної моделі Петрі та її CN-моделі досліджувальної паралельної розподіленої системи [Текст] / О. О. Лук'янова // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 122-127. – (Серія "Фізико-математичні науки").
- Лупин, С. А. Интеграция медицинских информационных систем [Текст] / С. А. Лупин, Е. В. Шерина, Н. Ю. Пономарева // Изв.ВУЗов.Электроника. – 2004. – № 3. – 69-76.
- Мельник, Г. В. Моделювання логістичних бізнес-процесів з використанням розфарбованих мереж Петрі [Текст] / Г. В. Мельник, В. І. Скіцько // Актуальні проблеми економіки. – 2015. – № 6. – С. 429-443.
- Михаль, О. М. Моделирование системы нечеткого регулирования средствами нечетких сетей Петри [Текст] / О. М. Михаль, О. Г. Руденко, З. Халайбех // УСиМ. – 2005. – № 4. – 3-7.
- Мурашко, А. Г. Первое знакомство с сетями Петри [Текст] : учебное пособие / А. Г. Мурашко ; МВССО УССР, УМК ВО, ХПИ. – К. : УМК ВО, 1988. – 71 с. – 0,14 р.
- Верификация коммуникационных протоколов, представленных на языке ESTELLE, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомящий, Г. И. Алексеев, А. В. Быстров [et al.] // Программирование. – 2001. – № 2. – 5-20.
- Перевозников, С. И. Разработка моделей и алгоритмов ИИС покомпонентного диагностирования гибридных микропроцессорных устройств [Текст] : дис. ... канд. техн. наук : 05.11.16 / Сергей Иванович Перевозников ; ВПИ. – Винница, 1987. – 192 с. : ил. – Бібліогр.: с.152-165.
- Погорілий, С. Д. Підходи до формалізації проектування застосувань в технології GPGPU [Текст] / С. Д. Погорілий, О. А. Верещинський, Д. Ю. Вітель // Системні дослідження та інформаційні технології. – 2014. – № 4. – с. 45-59.
- Погорілий, С. Д. Проектування та модельне обґрунтування застосувань на основі відеоадаптерів [Текст] / С. Д. Погорілий, С. Л. Кривий, М. С. Слинько // Управляющие системы и машины. – 2018. – № 4. – С. 46-56.
- Погорілий, С. Д. Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах [Текст] / С. Д. Погорілий, М. С. Слинько // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 196-202.
- Розроблення схемної моделі системи вимірювання та аналізу теплового портрету інтегральних пристроїв [Текст] / А. Пукач, В. Теслюк, Р.-А. Іванців, Р. Загарюк // Вісник Національного університету "Львівська політехніка". – 2012. – № 732 : Комп'ютерні науки та інформаційні технології. – С. 85-90.
- Сабо, Ю. И. Применение сетей Петри с марковскими свойствами для анализа отказоустойчивости систем с резервированием [Текст] / Ю. И. Сабо // Изв.ВУЗов.Приборостроение. – 2004. – № 12. – С. 18-23.
- Синчук, О. Н. Базовые сети Петри и моделирование псевдоаварийных и аварийных ситуаций в тяговых электроприводах промышленных электровозов [Текст] / О. Н. Синчук, И. О. Синчук, В. О. Черная // Известия высших учебных заведений. Электромеханика. – 2011. – № 2. – С. 42-46.
- Сінчук, О. М. Нештатні режими і структура системи захисту від них при функціонуванні двоосних електровозів [Текст] / О. М. Сінчук, В. О. Чорна // Вісник Вінницького політехнічного інституту. – 2012. – № 2. – С. 100-103.
- Спекторский, И. Я. Применение сетей Петри для анализа КС-грамматик [Текст] / И. Я. Спекторский // Системні дослідження та інформаційні технології. – 2011. – № 4. – С. 129-133.
- Статкевич, В. М. Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером [Текст] / В. М. Статкевич // Системні дослідження та інформаційні технології. – 2021. – № 2. – С. 94-112.
- Статкевич, В. М. Связь сетей Петри с бесскобочной польской записью [Текст] / В. М. Статкевич // Системні дослідження та інформаційні технології. – 2016. – № 2. – С. 7-13.
- Статкевич, В. М. Регулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителе [Текст] / В. М. Статкевич // Системні дослідження та інформаційні технології. – 2020. – № 3. – С.105-123.
- Стеценко, И. В. Уравнения состояний стохастических временных сетей Петри с информационными связями [Текст] / И. В. Стеценко // Кибернетика и системный анализ. – 2012. – Т. 48, № 5. – С. 164-179.
- Стеценко, И. В. Алгоритм имитации Петри-объектной модели [Текст] / И. В. Стеценко // Математичні машини і системи. – 2012. – № 1. – С. 154-165.
- Стеценко, И. В. Теоретические основы Петри-объектного моделирования систем [Текст] / И. В. Стеценко // Математичні машини і системи. – 2011. – № 4. – С. 136-148.
- Стеценко, І. В. Імітаційне моделювання системи управління навчальним процесом ВНЗ з використанням об'єктно-орієнтованого підходу [Текст] / І. В. Стеценко // Математичні машини і системи. – 2011. – № 2. – С. 162-170.
- Проектування систем управління на основі мереж Петрі [Текст] / В. М. Судачевскі, В. В. Абабій, Е. Н. Гуцуляк, М. Подубний // Вісник Вінницького політехнічного інституту. – 2011. – № 3. – С. 98-102.
- Супруненко, О. О. Аналіз прихованих помилок у моделях програмних систем на основі мереж Петрі [Текст] / О. О. Супруненко, Б. О. Онищенко, Ю. Є. Гребенович // Електронне моделювання. – 2022. – Т. 44, № 2. – С. 38-50.
- Тарасюк, И. В. Анализ производительности параллельных систем в алгебре dtsiPBC [Текст] / И. В. Тарасюк, Х. Масиа, В. Валеро // Программирование. – 2014. – № 5. – C. 3-27.
- Теслюк, В. М. Розроблення нейроконтролера управління підсистемою безпеки "інтелектуального будинку" [Текст] / В. М. Теслюк, П. Ю. Денисюк, Т. В. Теслюк // Енергетика та електрифікація. – 2016. – № 6. – С. 8-12.
- Теслюк, В. Модель телекомунікаційної мережі "інтелектуального будинку" [Текст] / В. Теслюк, А. Сидор, О. Борейко // Енергетика та електрифікація. – 2015. – № 12. – С. 38-41.
- Туркин, И. Б. Формальная верификация программного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И. Б. Туркин, Б. Б. Михнич // Інженерія програмного забезпечення. – 2010. – № 1. – С. 15-23.
- Хорошко, В. А. Пременение сетей Петри для моделирования параллельных процессов [Текст] / В. А. Хорошко, С. В. Моржов // Проблемы управления и информатики. – 2004. – № 2. – 86-93.
- Цмонь, І. Структура та моделі роботи системи управління мікрокліматом мінітеплиці [Текст] / І. Цмонь, Т. Теслюк // Вісник Національного університету "Львівська політехніка". Серія : Комп'ютерні науки та інформаційні технології. – 2016. – № 843. – С. 228-237.
- Черная, В. О. Контроль и комплексная защита тягового электопривода постоянного тока рудничных контактных электровозов [Текст] : дис. ... канд. техн. наук : 05.09.03 : защищена 12.06.2015 / Виктория Олеговна Черная ; КрНУ им. М. Остроградского. – Кременчуг, 2015. – 228 с. – Библиогр.: с. 168-182.
- Чорна, В. О. Контроль та комплексний захист тягового електоприводу постійного струму рудничних контактних електровозів [Текст] : автореф. дис. ... канд. техн. наук : 05.09.03 : захищена 12.06.2015 / Вікторія Олегівна Чорна ; КрНУ. – Вінниця, 2015. – 21 с.
- Чугаенко, А. В. О реализации алгоритма перевода набора MSC-диаграмм в сеть Петри [Текст] / А. В. Чугаенко // УСиМ. – 2007. – № 6. – 17-23.
- Шелестов, А. Ю. Моделирование работы узла Grid-системы на основе сетей Петри [Текст] / А. Ю. Шелестов // Проблемы управления и информатики. – 2008. – № 1. – 104-113.
- Шмелёва, Т. Р. Верификация шестиугольной коммуникационной решетки бесконечными сетями Петри [Текст] / Т. Р. Шмелёва // Радиотехника. – 2018. – № 194. – С. 38-45.
- Разработка автоматизированной системы бюджетного управления эффективным инвестиционным портфелем в жилищном строительстве с использованием нелинейной идентификации и аппарата сетей Петри [Текст] / Б. М. Шумилов, Н. В. Лаходынова, Н. А. Сульина [et al.] // Изв.ВУЗов.Строительство. – 2002. – № 4. – 69-72.
- Юдицкий, С. А. Алгебра потокособытий и сети Петри - язык потоков моделирования многоагентных иерархических систем [Текст] / С. А. Юдицкий, Е. Г. Радченко // Приборы и системы. Управление, контроль, диагностика. – 2004. – № 9. – 61-66.
1
2
|