摘要

为了在建立导弹部队机动作战过程Petri网模型时充分体现其时间特性,定义了一种离散时间区间Petri网(discrete time span Petri net,DTSPN);在充分考虑敌方侦察威胁对部队机动作战影响的基础上,将各阶段任务实施的时机限定在一个离散时间区间序列内,建立了导弹部队机动作战过程的DTSPN模型;通过对模型的可达性分析,判定作战任务能否按时完成;实验结果显示,提出的DTSPN能够体现导弹部队机动作战过程的时间特性,并能够分析作战任务能否在有利于作战行动实施的时间间隙内按时完成。