Abstract: Beginning with decomposing the complex loop patterns, this paper introduces the methods to resolve the problems of obstacle complex loop patterns bring. Static-method is involved to generate reasonable and correct duration of complex loop pattern with “loop duration table” and adjustment rule. In order to control the live workflow instances dynamically, it uses “loop management stack” and the results gained from static-method to apply corresponding methods.

Key words: Workflow, Petri net, Loop pattern, Loop duration table, Loop management stack

摘要： 以Petri Net时间管理模型为基础，从分解复杂路由模式开始，提出了一系列方法解决复杂循环模式带来的问题。该文引入了静态处理方法，通过应用“循环长度信息表”和调整算法生成复杂循环模式的合理、正确时间长度。为了控制工作流的活实例，依托“循环管理栈”和静态处理方法中获取的数据，进行了相应的处理。

关键词: 工作流, Petri网, 循环模式, 循环时间信息表, 循环管理栈

CLC Number: 

• TP311