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

van der Aalst, Wil M. P.

Antwerpen / EATCS (2003) [Fachzeitschriftenartikel]

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220759