В рамках данной работы было разработано и протестировано веб-приложение для построение цветной сети Петри по полученному коду и анализа её свойств. В первой главе раскрывается предметная область: понятия сетей Петри, цветных сетей Петри, их применение для моделирования параллельных процессов, методы анализа сетей Петри. Во второй главе описывается этап проектирования, объясняется выбор типа приложения, методов анализа кода и сети. В третьей главе подробно разбирается практическая реализация, дано разъяснение каждого этапа работы приложения. В четвёртой главе приведены результаты тестирования.

As part of this work, a web application was developed and tested for building a coloured Petri net using the received code and analysing its properties. The first chapter reveals the subject area: the concepts of the Petri nets and the coloured Petri nets, their application for modelling the parallel processes, the methods for analysing Petri nets. The second chapter describes the design phase, explains the choice of an application type, the methods of the code and net analysis. In the third chapter, the practical implementation is discussed in detail, an explanation of each stage of the application. The fourth chapter provides the test results.