Business Process Management

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 6.3.