Business Process Management

Concepts, Languages, Architectures (Fourth Edition)

Soundness checking using Woflan (1)

Download the Woflan tool from the website https://www.win.tue.nl/woflan/index.html (only Win32). The Woflan tool decides soundness for Workflow nets and gives hints if errors occur.

a) Model the Workflow net given above using Woflan.

b) Use Woflan to check if the net is sound or not.

More information on soundness can be found in the book in chapter 7.3.