基于Petri网的战时空空导弹保障建模

Wartime Air-to-Air Missile Support Model Based on Petri Net

运用Petri网对战时空空导弹保障进行建模,为解决导弹中队保障优化问题提供技术手段和思路。对技术保障流程逐层进行分解,构造包括阶段节点、模块节点和单元节点的战时空空导弹保障模型;综合考虑调派保障人员与保障装(设)备对保障任务的影响,分别给出单元节点和模块节点Petri网模型构造方法并进行赋时处理;针对不同保障任务单元节点之间的逻辑关系,提出两种关系的Petri网模型合成方法;以单枚某型空空导弹技术准备阶段为例,构建与之对应的战时某型空空导弹保障Petri网模型,验证建模方法的有效性和适用性。

Using Petri net to model the wartime air-to-air missile support,it provides technical means and ideas for solving the missile squadron’s guarantee optimization problem.The technical support process is decomposed layer by layer,and the wartime air-to-air missile support model including phase nodes,module nodes and unit nodes is constructed.The impact of the deployment of the support personnel and the support equipment on the support tasks is considered comprehensively.Unit node and module node Petri net model construction method and time processing;for the logical relationship between different guarantee task unit nodes,two kinds of Petri net model synthesis methods are proposed;taking a single air-to-air missile technology preparation stage as an example,a wartime model of a certain type of air-to-air missile support Petri net is constructed to verify the validity and applicability of the proposed modeling method.