资源约束下多过程的不确定时间建模与分析

摘要：

由于测量不精确、信息不完备以及信息包含噪声等原因,工作流的时间信息会具有不确定性.针对不确定性情况下工作流时间建模和分析的实际需求,基于可能性理论,给出扩展模糊时间工作流网(Extended fuzzy timing workflow nets, EFTWFN)定义,实现对不确定性时间信息的全面描述.在考虑资源约束情况下,提出一种工作流多过程EFTWFN模型的推理分析方法,将EFTWFN与线性逻辑结合,定义多种变迁间的化简规则,再基于规则逐步化简EFTWFN模型,从而实现对不确定性时间问题的解决.所提出的方法实用性较强,能够有效处理资源约束情况下工作流多过程的定量和定性两方面问题;而且效率较高,可在线性时间复杂度内完成对问题的求解.在某制造企业中的实例应用与仿真验证表明,该方法具有很好的效果.

关键词：资源约束、多过程、不确定性、可能性理论、线性逻辑

所属期刊栏目：46

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60674080;国家高技术研究发展计划863计划,2006AA04Z151, 2006AA04Z166

在线出版日期：2010-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：169-176