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