XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award)

van der Aalst, Wil M. P.; Verbeek, H. M. W.; Kumar, A.

Informs, Linthicum, MD (2001)
Contribution to a conference proceedings

In: Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001)
Page(s)/Article-Nr.: 30-45