Diagnosing workflow processes using Woflan / by H.M.W. Verbeek, T. Basten and W.M.P. van der AalstDiagnosing workflow processes using Woflan / H.M.W. Verbeek, T. Basten and W.M.P. van der AalstXRL/Woflan : verification of an XML/Petri-net-based language for interorganizational workflows / H.M.W. Verbeek, W.M.P. van der Aalst, A. KumarDeciding life-cycle inheritance on Petri nets / H.M.W. Verbeek, T. BastenVerifying workflows with cancellation regions and OR-joins : an approach based on invariants / H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter HofstedeTranslating labelled P/T nets into EPCs for sake of communication / H.M.W. Verbeek, B.F. van Dongen