YAWL

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 rules contains a bug which possibly results in a reduced net with different analysis results.

The bug has been fixed now, but in the mean time you might want to disable the reduction rules. In the editor, select "Configure Specification Analysis" from the "Tools" menu, and deselect "Use Reset reduction rules before analysis for optimisation". Now, do the analysis, which should report no errors or warnings.

Cheers,

Eric Verbeek.