Business Process Management

Concepts, Languages, Architectures (Third Edition)

Soundness of workflow nets

Is the workflow net depicted below sound? Argue for/prove your answer.

More information on soundness can be found in the book in chapter 7.3.