工作流模型验证及分解的多项式算法分析

• 作者: 庞善臣 蒋昌俊
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 工作流 Petri网 模型分解及验证 多项式算法
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 390-394
• 页数: 5页
• 分类号: TP302
• 字数: 4934字
• 语种: 中文

摘要

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庞善臣	同济大学计算机科学与工程系	7	208	5.0	7.0
5	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0