| 基于家态的多事务工作流完整性分析 |
| |
| 作者姓名： | 庞善臣 闫春钢 蒋昌俊 |
| |
| 作者单位： | 同济大学计算机科学与工程系,上海,200092;山东科技大学信息科学与工程学院,山东,青岛,266510;同济大学计算机科学与工程系,上海,200092 |
| |
| 基金项目： | 国家研究发展基金,国家高技术研究发展计划(863计划),上海市重点基础研究项目 |
| |
| 摘 要： | 工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.
|
| 关 键 词： | Petri网 家态 工作流 多事务工作流网 完整性 |
| 文章编号： | 0372-2112（2006）06-1163-06 |
| 收稿时间： | 2005-03-30 |
| 修稿时间： | 2005-03-302006-01-03 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
