Download the Woflan tool from the website https://www.win.tue.nl/woflan/doku.php (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.