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

Abstract: Because of imprecise measurement, incomplete information, fuzzy or fault description, etc, the temporal information of some workflows is usually indeterminate (or uncertain). According to the actual need for uncertain temporal modeling and analysis in workflow system, based on possibility theory, the concept of extended fuzzy timing workflow nets (EFTWFN) is proposed, which can describe all uncertain temporal information in a workflow. Under the condition of considering resource constraints, the method to analyze multi-process of EFTWFN models is presented. First of all, several inference rules between transitions of workflows are defined on the basis of EFTWFN and linear logic. Then, the total model is reduced and analyzed gradually according to the rules. The method can solve the qualitative and quantitative problems for concurrent workflows with resource constraints. Furthermore, it has higher efficiency and can complete the process of inference in the linear time complexity. In the end, an application of the method is illustrated through an example in manufacturing enterprise and its validity is indicated by simulation.

Key words: Linear logic, Multi-process, Possibility theory, Resource constraint, Uncertainty