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

In: Information systems : IS
Band: 25
Heft: 1
Seite(n)/Artikel-Nr.: 43-69

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]