规范流网中OR-join任务的语义及使能判定算法

• 作者: 吴浩 曹国荣 解金刚 谭庆平
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: OR-join任务 规范流网 YAWL语言 Petri网
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 学术研究
• 页码范围: 542-551
• 分类号: TP393
• 字数: 8708字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2010.06.006

摘要

对规范流网中OR-join任务语义及使能判定算法进行了深入研究.首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭庆平	国防科学技术大学计算机学院	30	181	8.0	11.0
2	曹国荣	国防科学技术大学计算机学院	2	8	2.0	2.0
3	吴浩	国防科学技术大学计算机学院	2	8	2.0	2.0
4	解金刚	国防科学技术大学计算机学院	1	4	1.0	1.0