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

• 作者: 刘林钢 姜浩
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 工作流 时间约束一致性 时间约束工作流网 验证算法
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 58-62
• 页数: 5页
• 分类号: TP301.4
• 字数: 4919字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.01.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜浩	东南大学计算机科学与工程学院	48	786	15.0	26.0
2	刘林钢	东南大学计算机科学与工程学院	1	10	1.0	1.0