基于 Petri 网的终端区冲突避免方法研究*

摘要

终端区空域结构复杂，航空器飞行架次过多，是飞行事故高发区，针对该问题，提出一种基于Petri网的终端区冲突避免方法。首先分析终端区空域运行结构，利用Petri网建立终端区空域运行模型，并根据终端区空域管制规则，建立其约束模型。然后综合约束模型，利用库所不变量方法建立终端区空域控制策略。最后针对控制策略进行案例分析，结果表明，此方法能够有效解决终端区空域运行安全问题，减轻管制员负荷。%The structure of terminal airspace which is the high incidence of accidents is complex ,and aircraft flying sor‐ties over .To solve this problem ,a method is proposed to avoid the terminal area airspace conflicts based on Petri net .The operation model of terminal area airspace based on Petri nets is established according to the terminal area airspace operation structure firstly ,and the constraint model of terminal area is established according to the rules of terminal area operation . Then the marking control model is transformed into the state prohibits problem to design controller ,and the priority control strategy is put forward according to disable concurrency events .A simulation example demonstrates the effectiveness of the control strategy which can solve the conflict of terminal area .