为保证军事供应链能够持续稳健地运行,其关键任务的正常运行是非常重要的内容.军事供应链关键任务是指军事供应链保障系统中的这样一类任务,在系统运行过程中不能发生中断或失效,否则将对整体作战保障产生重大影响,造成严重后果.其基本特征之一就是在有限执行时间内,在保证所有最重要任务完成的前提下,尽可能多地完成其他关键任务,最大限度地确保整个系统的正常运行.因此,需要对军事供应链中的工作流(任务流)进行有效的建模和验证.然而,目前的建模与验证方法大多只解决了确定性的工作流建模与验证,忽略了不确定因素(供应商的不稳定、 紧急任务执行的突发性等)对军事供应链的影响.因此,文章针对军事供应链关键任务的工作流建模与验证问题展开研究,以期提高军事供应链业务流程的可信性和可靠性,实现在任务执行周期内提供持续可用的功能服务以及军事供应链的管理与优化调度.