基于UML/Petri网的作战指挥可视化建模与验证

摘要

主要对一种典型作战——“导弹攻击卫星”的指挥活动建立其可视化的军事概念模型。建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分內容,通过模型构建来描述“导弹攻击卫星”指挥活动内容以及活动流程等;通过模型检验来验证模型的正确性。以及对指挥活动分析的正确性。