[1]胡奇.jBPM4工作流应用开发指南[M].北京:电子工业出版社,2010:2-9.[2]袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005.[3]van der AALST W, van HEE K. Workflow management models, methods and systems [M]. Cambridge: MIT Press, 2002.[4]LEE H, SUH H W. Workflow structuring and reengineering method for design process [J]. Computers and Industrial Engineering, 2006, 51(4): 698-714.[5]殷人昆.数据结构(用面向对象方法与C++语言描述)[M].2版.北京:清华大学出版社,2007:383-387.[6]HOROWITZ E, SAHNI S, ANDERSON-FREED S.数据结构基础(C语言版)[M].朱仲涛,译.2版.清华大学出版社,2009:205-247.[7]WFMC. Workflow process definition interface: XML Process Definition Language (XPDL), WFMC-TC-1025 [EB/OL]. [2012-04-23]. http://xml.coverpages.org/XPDL20010522.pdf.[8]李圣文,龚君芳.基于模糊理论的工作流调度模型研究[J].计算机应用研究,2010,27(1):131-133.[9]杨雯,刘厚泉.基于Petri网的工作流模型的研究[J].计算机工程与设计,2007,28(17):4149-4164.[10]周建涛,史美林,叶新铭.工作流过程建模中的形式化验证技术[J].计算机研究与发展,2005,42(1):1-9.[11]余阳,汤庸,潘茂林,等.时态工作流过程模型及其合理性验证[J].软件学报,2010,21(6):1233-1253.[12]王霞,王刚,周立东.改进的工作流合理性验证方法[J].计算机工程与应用,2011,47(33):43-45.[13]高捷,吴华瑞.基于矩阵模型的工作流合理性验证算法研究[J].计算机工程与设计,2010,31(11):2621-2624.