王洪达 蒋丽华 杨曼

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

关 键 词：军事供应链;关键任务;工作流;建模;验证

一、 引言

军事供应链是由地方经营实体经由军队后勤单位、最终到部队终端用户的一个供应链条。加强军事供应链的管理，是提升军队后勤保障和作战能力的重要方面。在军事供应链运转过程中（尤其是战时）不能发生中断或失效，否则将会导致作战保障任务执行失败，造成严重的后果。为了保证军事供应链持续稳健地运行，其关键任务的正常运行是非常重要的内容。……