Abstract: The semantics and implementation of the OR-join is examined in detail in the context of regular flow nets (RFNs). Firstly the concepts related to OR-join in yet another workflow language (YAWL), the concepts of RFNs are introduced. Then based on the previous contents, the semantics of RFNs with OR-join are proposed. Finally an implementation towards determining OR-join enablement in RFNs accompanied by an example is illustrated.

Key words: OR-join, regular flow nets (RFNs), yet another workflow language (YAWL), Petri nets

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

关键词: OR-join任务, 规范流网, YAWL语言, Petri网