基于图裁减和图搜索的工作流图验证算法

党正军，杜中军

Improved algorithm combining graph-reduction and graph-search for workflow verification

DANG Zhengjun，DU Zhongjun

计算机工程与应用 . 2011, (4): 226 -228 . DOI: 10.3778/j.issn.1002-8331.2011.04.063