基于关键任务的军事供应链工作流建模与验证方法研究

发布时间：2024-03-22 03:10

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

【文章页数】：6 页

【部分图文】：

图1军事供应链关键任务的工作流建模与验证研究框架

结合以上所提出的问题和要求，本文在前期已有工作的基础上，提出一种死路径消除语义下的军事供应链系统关键任务的工作流建模方法，运用着色Petri网对所建立的死路径消除语义转化为普通“if-then-else”的规则进行描述。其中，颜色集代表关键任务的重要性，并采用CPN-Tools工....

本文编号：3934544