XRL/Woflan: Verification of an XML/Petri-net-based Language for Interorganizational Workflow

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

Eindhoven University of Technology, Eindhoven (2001)
Book