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

摘要：

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

关键词：工作流、合理性、Petri、逻辑推导、真值表

所属期刊栏目：47

分类号：TP301(计算技术、计算机技术)

资助基金：四川省教育厅项目07ZB047

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：43-45,48