yawl中or-join任务使能判断的改进及形式化说明

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