工作流挖掘与Petri网表示的对偶交换  

Dual Commutativity of Workflow Mining and Petri Nets

作　　者：刘光曹[1] 王坚[1] 董健[1] 邓小超[1] 金革[1] 

机构地区：[1]中国科技大学近代物理系

出　　处：《电子技术（上海）》2010年第10期10-12,3,共4页Electronic Technology

摘　　要：将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。

关 键 词：工作流挖掘 α算法 PETRI网 对偶交换 

分 类 号：TN01[电子电信—物理电子学]