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
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-221008