Unmanned aerial vehicle track verification method and system based on petri-net model

The invention provides an unmanned aerial vehicle track verification method and system based on a petri-net model. The unmanned aerial vehicle track verification method comprises the following steps: establishing a hierarchical petri-net model based on an industrial internet system; whether position excitation conversion occurs at any place from the first place to the last place in the petri-net model or not is judged in sequence, and if position excitation conversion does not occur at all places, it is indicated that the unmanned aerial vehicle does not have security vulnerabilities when the industrial internet system operates; and otherwise, indicating that the unmanned aerial vehicle security vulnerability exists at the location where the hierarchical petri-net model is subjected to location excitation conversion. According to the method, whether the unmanned aerial vehicle has security vulnerabilities such as path tampering or not is judged by designing the judgment condition of each layer of the petri-ne