Публікація: Оцінка процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі
Завантаження...
Дата
2024
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
The thesis is devoted to the analysis and research of the process of developing software systems using the theory of automata and Petri nets. The study includes an analysis of existing software development techniques and their adaptation for use in the context of automata theory and Petri nets. In particular, the thesis examines the effectiveness of the application of the theory of automata and Petri nets for modeling, analysis and verification of software systems. Special attention is paid to the methods of formalization and mathematical apparatus used to describe the processes of development of software systems.
Опис
Ключові слова
мережа Петрі
Бібліографічний опис
Пархоменко Б. Є. Оцінка процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі / Б. Є. Пархоменко ; наук. керівник к. т. н., доц. О. Ф. Лановий // Радіоелектроніка та молодь у XXI столітті : матеріали 28-го Міжнар. молодіж. форуму, 16–18 квітня 2024 р. – Харків : ХНУРЕ, 2024. – Т. 6 – С. 541-543. – DOI : https://doi.org/10.30837/IYF.IIS.2024.541.