YAWL中OR-join任务使能判断的改进及形式化说明 (2007年)

【文件属性】：

文件名称：YAWL中OR-join任务使能判断的改进及形式化说明 (2007年)

文件大小：297KB

文件格式：PDF

更新时间：2024-06-06 23:35:19

自然科学 论文

为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。