Soundness checking using Woflan (1)
Download the Woflan tool from the website http://is.tm.tue.nl/research/woflan/ (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 6.3.
Business Process Technology
Hasso-Plattner-Institute
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Hasso-Plattner-Institute
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Phone: +49 (0) 331-5509-180
Fax: +49 (0) 331-5509-189
Fax: +49 (0) 331-5509-189