On the Complexity of Deciding Soundness of Acyclic Workflow Nets. - Ferucio Laurentiu Tiplea; Corina Bocaneala; Raluca Chirosca (IEEE Trans. Syst. Man Cybern. Syst., 2015)