基于Petri网的工作流过程验证方案的研究
卯福启;杨建
计算机与现代化 . 2012, (7): 226 -229 .