基于Petri网的工作流过程验证方案的研究
MAO Fu-qi;YANG Jian
Computer and Modernization . 2012, (7): 226 -229 .