基于时间约束Petri网的工作流动态一致性检验

• 作者: 姜浩 孙智坚
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 工作流 时间约束Petri网 动态修改 时间一致性
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 智能、算法、软件工程
• 页码范围: 50-52,55
• 页数: 4页
• 分类号: TP311.5
• 字数: 4395字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2006.09.018

摘要

工作流系统中的时间管理是工作流建模和分析的重要组成部分.支持动态修改是人们在实际应用中对工作流系统提出的新要求.文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜浩	东南大学计算机科学与工程系	48	786	15.0	26.0
2	孙智坚	东南大学计算机科学与工程系	1	8	1.0	1.0