基于FTCPN的工作流模型简化规则与线性推理研究

Study on Simplification Rules and Linear Temporal Inference of Workflow Models Based on Fuzzy-Timing Colored Petri Net

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容。针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored PetriNet,FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理。最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证。研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值。

Modeling of distributed collaborative workflow system and time performance computation is an important content in workflow theory. The description of different events, time performance analysis and optimization in WorkFlow Management System （WFMS） should be considered in conventional workflow models based on Petri net. To solve this problem, the formal definition of fuzzy-timing colored Petri Net （FTCPN） w1ere proposed. And the simplification rules of the four basic workflow pattern based on FTCPN and their linear temporal inferences were provided. Finally, taking collaborative product conceptual design of automobile body as an example, whose workflow model based FTCPN was constructed to employ and validate the proposed methods. The study results indicate that FTCPN can roundly describe the uncertain time information and work state of different cases in complex workflow system, and has the important reference value in enriching the theory of distributed workflow modeling in WFMS.