Challenges in Business Process Management: Verification of business processes using Petri nets

van der Aalst, Wil M. P.

Antwerpen : EATCS (2003)
Fachzeitschriftenartikel

In: Bulletin of the European Association for Theoretical Computer Science EATCS : BEATCS
Band: 80
Seite(n)/Artikel-Nr.: 174-198

Einrichtungen

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