Structural soundness of workflow nets is decidable

Ferucio Laurentiu Tiplea, Dan C. Marinescu. Structural soundness of workflow nets is decidable. Inf. Process. Lett., 96(2):54-58, 2005. [doi]

Abstract

Abstract is missing.