Soundness checking using Woflan (2)
Download the Woflan tool from the website http://is.tm.tue.nl/research/woflan/
(only Win32). The Woflan tool decides the soundness for Workflow nets and gives hints if errors occur. Check out the examples to see how net definitions are given (*.tpn format).
a) Model and check the Workflow net given above using Woflan.
b) Identify and consider the problems that occur.
c) Use the output from Woflan to correct the net.
More information on workflow nets can be found in the book in chapter 4.4. A solution to this exercise can be found here