Woflan is a "Petrinetbased workflow diagnosis tool" developed at TU/e in the Netherlands. The Woflan program allows a user to input a workflow specification in file formats from several commercial workflow applications including Staffware, COSA [wwwcosa], and Protos.
Woflan produces a descriptive, warning, and error messages from the input file.
Woflan checks workflows for correctness, and generates diagnostics to help repair problems [Verbeek00].
Resources