|
|||||
|
|
| 工作流模型验证及分解的多项式算法分析 | |
| 作者姓名： | 庞善臣 蒋昌俊 |
| 作者单位： | 1. 同济大学计算机科学与工程系,上海,200092;山东科技大学信息科学与工程学院,山东,青岛,266510 2. 同济大学计算机科学与工程系,上海,200092 |
| 基金项目： | 国家重点基础研究发展规划(973计划),国家自然科学基金,上海市基础研究重点项目 |
| 摘 要： | 基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性. |
| 关 键 词： | 工作流 Petri网 模型分解及验证 多项式算法 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《同济大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《同济大学学报(自然科学版)》下载全文 | |