小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2007年
6期
1076-1079
,共4页
Petri网%工作流%工作流网%正确性验证
Petri網%工作流%工作流網%正確性驗證
Petri망%공작류%공작류망%정학성험증
工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.
工作流技術是近年來在計算機應用領域髮展最為迅速的新技術之一,但基于覆蓋圖的工作流網的結構正確性檢查的實現過于複雜.本文在Aalst提齣的基于Petri網的工作流網的控製流的正確性理論的基礎上,提齣瞭工作流網的正確性檢查的化簡規則及相應的化簡算法,實現瞭對于正確結構的工作流網直接驗證;對于錯誤結構的工作流網,輸齣其包含問題節點在內的子網結構,可以進一步通過覆蓋圖的方法確認問題節點,從而降低瞭工作流網正確性檢查的複雜性.
공작류기술시근년래재계산궤응용영역발전최위신속적신기술지일,단기우복개도적공작류망적결구정학성검사적실현과우복잡.본문재Aalst제출적기우Petri망적공작류망적공제류적정학성이론적기출상,제출료공작류망적정학성검사적화간규칙급상응적화간산법,실현료대우정학결구적공작류망직접험증;대우착오결구적공작류망,수출기포함문제절점재내적자망결구,가이진일보통과복개도적방법학인문제절점,종이강저료공작류망정학성검사적복잡성.
