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

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

Verification Algorithm of Consistency Based on Time Constraint Petri Nets

To verify the consistency of time constraints is to ensure that the time model of workflow work correctly.The accuracy and complexity of the algorithm is closely related to the operating efficiency of the entire time model.Firstly introduced briefly the definition for consistency of time constraints and the reasoning rules of constraints relation.Then propose a simple and effective verification algorithm for time constraints,and the time complexity analysis was presented also.To use the T-component nets and...