基于时间约束Petri网的一致性验证算法

摘要：

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率.文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度.该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义.

关键词：工作流、时间约束一致性、时间约束工作流网、验证算法

所属期刊栏目：20

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

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

页数：共5页

页码：58-62