Complexity of the Soundness Problem of Bounded Workflow Nets. - Guan Jun Liu; Jun Sun 001; Yang Liu 003; Jin Song Dong (Petri Nets, 2012)

Complexity of the Soundness Problem of Workflow Nets. - Guan Jun Liu; Jun Sun 001; Yang Liu 003; Jin Song Dong (Fundam. Informaticae, 2014)