Оцінка процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі

Пархоменко, Б. Є.

Публікація:
Оцінка процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі

dc.contributor.author	Пархоменко, Б. Є.
dc.date.accessioned	2024-08-27T21:13:31Z
dc.date.available	2024-08-27T21:13:31Z
dc.date.issued	2024
dc.description.abstract	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.
dc.identifier.citation	Пархоменко Б. Є. Оцінка процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі / Б. Є. Пархоменко ; наук. керівник к. т. н., доц. О. Ф. Лановий // Радіоелектроніка та молодь у XXI столітті : матеріали 28-го Міжнар. молодіж. форуму, 16–18 квітня 2024 р. – Харків : ХНУРЕ, 2024. – Т. 6 – С. 541-543. – DOI : https://doi.org/10.30837/IYF.IIS.2024.541.
dc.identifier.doi	https://doi.org/10.30837/IYF.IIS.2024.541
dc.identifier.uri	https://openarchive.nure.ua/handle/document/28305
dc.language.iso	uk
dc.publisher	ХНУРЕ
dc.subject	мережа Петрі
dc.title	Оцінка процесу розробки моделі програмної системи методами теорії автоматів та мереж Петрі
dc.type	Thesis
dspace.entity.type	Publication