Intrusion Detection in Aviation Terminal Region Petri Net with Non-arc and Unchanged Library

Abstract

Due to the complex structure and the large number of the running aircrafts in the application of the intrusion detection in terminal regions, the defense conflict dangers and the influence on aviation safety exist in such terminal region. Therefore, Petri net framework with non-arc and unchanged library is constructed in this paper to propose the terminal intrusion detection scheme. Firstly, the aviation operation structure of the terminal region is analyzed and the constraint model of the terminal region is constructed as the terminal intrusion detection basis according to Petri net model framework; secondly, the aviation constraint model of the terminal region constructed thereby and the principle of non-arc and unchanged library are adopted to establish the terminal intrusion detection control strategy, and the control decision is made according to the transition activation for the aviation instructions; finally, the experimental analysis of the practical cases shows that the proposed terminal intrusion detection scheme can effectively handle the terminal intrusion detection problem and reduce the workload of the controllers.