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

van der Aalst, Wil M. P.

Antwerpen : EATCS (2003)
Journal Article

In: Bulletin of the European Association for Theoretical Computer Science EATCS : BEATCS
Volume: 80
Page(s)/Article-Nr.: 174-198

Identifier