Improved algorithm combining graph-reduction and graph-search for workflow verification
DANG Zhengjun,DU Zhongjun
Computer Engineering and Applications . 2011, (4): 226 -228 .  DOI: 10.3778/j.issn.1002-8331.2011.04.063