计算机技术与发展2010，Vol.20Issue(1) ：58-62.

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

Verification Algorithm of Consistency Based on Time Constraint Petri Nets

刘林钢 姜浩
计算机技术与发展2010，Vol.20Issue(1) ：58-62.
✕
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据

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

Verification Algorithm of Consistency Based on Time Constraint Petri Nets

刘林钢 1姜浩1
扫码查看

作者信息

  • 1. 东南大学,计算机科学与工程学院,江苏,南京,210096
  • 折叠

摘要

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

关键词

工作流/时间约束一致性/时间约束工作流网/验证算法

引用本文复制引用

出版年

2010
计算机技术与发展
陕西省计算机学会

计算机技术与发展

CSTPCD
影响因子：0.621
ISSN：1673-629X
被引量5
参考文献量5
段落导航相关论文