Verification of Workflow Task Structures: A Petri-net-based Approach

van der Aalst, Wil M. P.; ter Hofstede, A. H. M.

Oxford [u.a.] / Pergamon Press (2000) [Fachzeitschriftenartikel]

Information systems : IS
Band: 25
Ausgabe: 1
Seite(n): 43-69

Identifikationsnummern