Diagnosing workflow processes using Woflan
Diagnosing workflow processes using Woflan / H.M.W. Verbeek, T. Basten and W.M.P. van der Aalst