| 基于时间约束Petri网的一致性验证算法 |
| |
| 引用本文： | 刘林钢,姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,20(1):58-62. |
| |
| 作者姓名： | 刘林钢 姜浩 |
| |
| 作者单位： | 东南大学,计算机科学与工程学院,江苏,南京,210096 |
| |
| 摘 要： | 时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。
|
| 关 键 词： | 工作流 时间约束一致性 时间约束工作流网 验证算法 |
Verification Algorithm of Consistency Based on Time Constraint Petri Nets |
| |
| LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].Computer Technology and Development,2010,20(1):58-62. |
| |
| Authors: | LIU Lin-gang JIANG Hao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
