基于Petri网建模方法建立无人机系统放飞指挥流程及用语模型

针对近年来我军多型号无人机科研任务飞行的新常态,本文采用基于包含狭义时序的Petri网建模方法对无人机系统放飞流程进行建模。首先在不同型号所使用的放飞流程及用语的基础上,对建模对象"无人机放飞指挥操作流程"中的构成元素和执行条件进行了重新定义,简要介绍了基础Petri网建模方法以及契合本模型符合狭义相对论时序的特点。最后,举例建立了以本文所述方法为基础的无人机放飞指挥流程,提出了结合令牌维度的树状组织结构图和资源管理表的方法扩展到Petri网的流程及模型,旨在为当前及未来其他无人机型号放飞指挥操作流程以及用语体系的建立提供思路。