Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. - Ferucio Laurentiu Tiplea; Corina Bocaneala (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Priority Workflow Nets. - Ferucio Laurentiu Tiplea; Corina Bocaneala (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Resource Relocation in Workflow Nets With Time, Resource, and Task Priority Constraints. - Ferucio Laurentiu Tiplea; Corina Bocaneala (IEEE Trans. Syst. Man Cybern. Syst., 2014)

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