基于家态的多事务工作流完整性分析

• 作者: 庞善臣 蒋昌俊 闫春钢
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: Petri网 家态 工作流 多事务工作流网 完整性
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 科研通信
• 页码范围: 1163-1168
• 页数: 6页
• 分类号: TP302
• 字数: 5918字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2006.06.040

摘要

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.

作者信息

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