改进的工作流合理性验证方法

• 作者: 周立东 王刚 王霞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 工作流 合理性 Petri 逻辑推导 真值表
• 年，卷（期）: 2011,（33）
• 所属期刊栏目: 研究、探讨
• 页码范围: 43-45,48
• 分类号: TP301
• 字数: 3402字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.33.012

摘要

工作流建模过程中存在的结构冲突很有可能导致整个系统无法正常运行,因此验证工作流中的结构合理性是非常重要的.目前尚无一种简单的算法能够验证循环结构及交叉结构的合理性,为此提出了一种改进的工作流合理性验证方法.该方法基于Petri网模型,将逻辑推导和真值表相结合,能够简单而有效地检测出工作流中的各种结构冲突.应用示例表明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王刚	四川大学计算机学院	133	1327	22.0	31.0
2	王霞	淮海工学院计算机工程学院	19	88	5.0	9.0
3	周立东	淮海工学院计算机工程学院	6	31	2.0	5.0