10.3778/j.issn.1673-9418.2010.06.006
规范流网中OR-join任务的语义及使能判定算法
对规范流网中OR-join任务语义及使能判定算法进行了深入研究.首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性.
OR-join任务、规范流网、YAWL语言、Petri网
4
TP393(计算技术、计算机技术)
2010-08-27(万方平台首次上网日期,不代表论文的发表时间)
共10页
542-551