Модель керування роєм дронів на основі високорівневих мереж Петрі

The rapid growth of unmanned aerial vehicle (UAV) applications in the modern world imposes significant demands on the reliability of control logic. An error in the sequence of stages can lead at best to inefficient battery usage or violations of airspace regulations, and at worst to an accident with loss of the vehicle and potential harm. Control is usually implemented using scripts or behavior trees, which complicates maintenance. The reason is that the size of the source files quickly increases, and when it becomes necessary to add new functionality or modify existing logic, there is a risk of introducing vulnerabilities by failing to account for all possible situations. This is why High-Level Petri Nets (HLPN) were chosen, as this method addresses the problem of formally describing the control system and allows the system to be easily scaled or modified in any way. The aim of the study is to develop and validate a model based on HLPN that will serve as the single source of truth for UAV swarm control. In the proposed model, the places correspond to flight stages, and the tokens carry numerical parameters such as battery charge, coordinates, and telemetry. Thus, a single scheme simultaneously describes discrete events and constraints. For each transition, conditions are formalized to verify the possibility of its execution, such as checking the minimum required battery level or verifying location. The methodology includes several stages. First, the network structure is formally defined. Then, based on this structure, a Python model is built that implements the developed network, controls movement between states, and ensures the correct sequence of transition firings. After developing the model, testing and analysis of the obtained results are performed. The results show that using HLPNs to build a model for verifying commands in a discrete mode indeed ensures a correct description of transitions between states and increases the reliability and survivability of the developed control system model, while also significantly reducing maintenance efforts. The developed model is easily adaptable to route changes, addition of sensors, or functional expansion.