Business Process Management

Concepts, Languages, Architectures (Third Edition)

Soundness of workflow nets (2)

Check the following workflow net for soundness.

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