为了实现跑道入侵防御系统应用的灵活性,提出了一种基于Petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并基于标准构建机场的矢量地图模型,再结合机场场面跑道结构建立跑道Petri网控制器模型,构建跑道状态灯模型,利用重构方法建立了各个模块之间的接口,包括机场地图模型与Petri网控制器模型、Petri网控制器与跑道状态灯模型、车辆/航空器分布向量与Petri网控制器标识向量、可控变迁的使能状态向量与跑道状态灯状态向量,并通过案例说明了跑道入侵防御系统重构方法的有效性.
跑道入侵防御 Petri网控制器 接口 可重构性