论文部分内容阅读
随着舰载机打击范围的不断扩大,传统的作战指挥引导已经不能满足作战需要。为了规范舰载机作战引导流程,发现潜在的冲突,在划分舰载机空对面作战指挥引导阶段后,利用UML工具建立作战指挥引导的工作流模型;并使用Petri网对该工作流模型进行了可达性、合理性、选择性等验证;通过验证的模型可以指导舰载机作战指挥引导系统的具体开发,保证开发系统的稳定性和合理性。