电子技术
電子技術
전자기술
ELECTRONIC TECHNOLOGY
2010年
10期
10-12,3
,共4页
刘光曹%王坚%董健%邓小超%金革
劉光曹%王堅%董健%鄧小超%金革
류광조%왕견%동건%산소초%금혁
工作流挖掘%α算法%Petri网%对偶交换
工作流挖掘%α算法%Petri網%對偶交換
공작류알굴%α산법%Petri망%대우교환
将对偶交换的观点引入工作流挖掘的研究可以获得新的认识.其在工作流结构验证中并行和选择互换后仍保持结构的正确性.工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到(α)算法,先挖掘并行结构,余下选择结构,(α)算法能够减少非自由选择结构.不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练.以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示(α)算法的挖掘结果.这两种Petri网表示也体现出对偶性.
將對偶交換的觀點引入工作流挖掘的研究可以穫得新的認識.其在工作流結構驗證中併行和選擇互換後仍保持結構的正確性.工作流挖掘α算法先挖掘選擇結構,餘下併行結構,通過對偶交換得到(α)算法,先挖掘併行結構,餘下選擇結構,(α)算法能夠減少非自由選擇結構.不同情況下兩種算法結果比較取優,能夠使工作流挖掘的併行和選擇的嵌套關繫更為簡練.以任務為變遷的Petri網能夠最簡潔地錶示α算法挖掘結果,以任務為庫所的Petri網能夠最簡潔地錶示(α)算法的挖掘結果.這兩種Petri網錶示也體現齣對偶性.
장대우교환적관점인입공작류알굴적연구가이획득신적인식.기재공작류결구험증중병행화선택호환후잉보지결구적정학성.공작류알굴α산법선알굴선택결구,여하병행결구,통과대우교환득도(α)산법,선알굴병행결구,여하선택결구,(α)산법능구감소비자유선택결구.불동정황하량충산법결과비교취우,능구사공작류알굴적병행화선택적감투관계경위간련.이임무위변천적Petri망능구최간길지표시α산법알굴결과,이임무위고소적Petri망능구최간길지표시(α)산법적알굴결과.저량충Petri망표시야체현출대우성.
