Business Process Management

Concepts, Languages, Architectures (Third Edition)

Soundness of workflow nets (3)

Check the following workflow nets for soundness.

a)

b)

c)

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