Instantiating nets and their applications to workflow nets

K-soundness, generalized soundness, and structural soundness are important correctness criteria that workflow nets should satisfy. Using instantiating nets, we present in a uniform way some of the results obtained regarding the decidability status of the generalized and structural soundness properties.