Dear Ralf Laue,
It seems you've discovered a bug in one of the reset net reduction rules. Sorry for this.
For the analysis, the YAWL model is converted into a reset net, and this reset net is reduced as much as possible using some rules (which should preserve the analysis results). The resulting reduced reset net is then used for analysis purposes. However, the implementation of one of the...
2009-01-08 12:54:07 UTC in YAWL
