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

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