%0 Journal Article %T yawl中or-join任务使能判断的改进及形式化说明 %A 孙玲芳 %A 方锦烽 %A 汲铮 %A 沈晶 %A 王燕 %A 徐曰光 %J 江苏科技大学学报(自然科学版) %D 2007 %X ?为避免yawl建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合reset网,对改进作形式化说明。 %K 工作流 %K yawl语言 %K 或汇合 %K reset网 %U http://journal.just.edu.cn/jweb_zkb/CN/abstract/abstract288.shtml