基于WF-net的应急空间军事任务过程建模研究
应急空间（Response Space）是一种航天体系建设的新概念，以对空间资源的应急补充为目标，追求空间系统的快速响应能力。应急空间军事任务过程是由其军事任务目标、应急空间活动、应急空间活动之间的逻辑关系等组成。在分析应急空间军事任务过程的基础上,应用工作流网(Workflow-net,WF-net)建立了应急空间军事任务过程模型,形式化的描述了应急空间军事任务过程中的应急空间活动及其之间的逻辑关系,并运用遍历树算法对应急空间军事任务过程模型的正确性进行了分析验证，为研究应急空间军事任务过程提供参考依据。
应急空间 军事任务过程模型 工作流网 遍历树算法
张海波 苏明 史建伟
装备指挥技术学院,北京,中国,101416 广州军区75130部队装备部,贵港,中国,537100
国内会议
Thirteenth Chinese Conference,SSTA 2011(第十三届中国系统仿真技术及其应用学术会议)
黄山
中文
202-207
2011-08-03（万方平台首次上网日期，不代表论文的发表时间）