基于时间Petri网的复杂循环模式研究

Study on Complex Loop Pattern Based on Time Petri Net

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

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.