%0 Journal Article
%T 基于语义推理的工作流结构验证方法
%A 凌？？鸿
%A 周江波
%A 胥正川
%J 计算机集成制造系统
%P 0-0
%D 2006
%X 为了验证工作流结构方面的问题，提出和证明了过程结构验证等同定理和无环工作流结构验证定理，并在这两个定理的基础上，给出了基于语义推理的工作流结构验证算法。最后，在运算复杂程度、循环路由、死锁和同步丢失等4个方面，与其他验证方法进行了比较。
%K 工作流
%K 工作流验证
%K 过程
%U http://www.cims-journal.cn/CN/abstract/abstract1218.shtml