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

被引：2

作者：

曹国荣

谭庆平

吴浩

解金刚

机构：

[1] 国防科学技术大学计算机学院

来源：

关键词：

OR-join任务; 规范流网; YAWL语言; Petri网;

D O I：

暂无

中图分类号：

TP391.1 [文字信息处理];

学科分类号：

081203 ; 0835 ;

摘要：

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

引用

页码：542 / 551

页数：10