Пархоменко, Б. Є.2025-02-032025-02-032024Пархоменко Б. Є. Дослідження процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 121 – Інженерія програмного забезпечення / Б. Є. Пархоменко ; М-во освіти і науки України , Харків. нац. ун-т радіоелектроніки. - Харків, 2024. - 71 с.https://openarchive.nure.ua/handle/document/29679Об'єктом дослідження є процес розробки програмної системи, якийвключає в себе створення моделі, її аналіз та оптимізацію за допомогою методів теорії автоматів та мереж Петрі. Головною метою роботи є вивчення та оцінка ефективності використання теорії автоматів та мереж Петрі у процесі розробки програмної системи. Зокрема, робота спрямована на аналіз можливостей абстрагування логічних взаємодій та моделювання паралельних процесів за допомогою цих теоретичних підходів.ukтеорія автоматівмережа Петріпошук функційOther