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

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

单位：北京科技大学机械工程学院 北京100083 清华大学自动化系 北京100084