同济大学学报（自然科学版）
同濟大學學報（自然科學版）
동제대학학보（자연과학판）
JOURNAL OF TONGJI UNIVERSITY(NATURAL SCIENCE)
2009年
3期
390-394
,共5页
工作流%Petri网%模型分解及验证%多项式算法
工作流%Petri網%模型分解及驗證%多項式算法
공작류%Petri망%모형분해급험증%다항식산법
基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.
基于工作流的Petri網結構化建模方法,證明瞭工作流網的T-不變量和P-不變量的存在性、可覆蓋性,給齣瞭一箇工作流模型完整性的充要條件,進一步得到瞭基于T-不變量的多項式分解算法,與以往非多項式分解算法相比,剋服瞭遍歷的不足,降低瞭算法複雜度,給齣的實例驗證瞭算法的有效性.
기우공작류적Petri망결구화건모방법,증명료공작류망적T-불변량화P-불변량적존재성、가복개성,급출료일개공작류모형완정성적충요조건,진일보득도료기우T-불변량적다항식분해산법,여이왕비다항식분해산법상비,극복료편력적불족,강저료산법복잡도,급출적실례험증료산법적유효성.
