？？AALST van der W M P.The application of Petri nets to workflow management[J].The Journal of Circuits,Systems,and Computers,1998,1(8):21-66.
[3]
？？HENRY H B，ZHAO L.Process logic for verifying the correctness of business process models[A].Proceedings of the 2004 International Conference on Information Systems(2004 ICIS)[C].Washington,D.C.,USA，2004.91-100.
？？SADIQ W,ORLOWSKA M.Analyzing process models using graph reduction techniques[J].Information Systems,2000,25(2):117-134.
[6]
？？AALST van der W M P.Workflow mangement－models,methods and systems[M].USA：MIT Press,2002.
[7]
？？LI Hongchen,SHI Meilin,CHEN Xinxiang.Business process modeling and analysis in workflow systems[J].Journal of Computer Research & Development，2001,38(7):798-804(in Chinese).[李红臣,史美林，陈信祥.工作流系统中的业务过程建模及分析[J].计算机研究和发展，2001,38(7) :798-804.]
[8]
？？ZHAO Lei，QIAN Leqiu,ZHAO Wenyun.State-space based verification of workflow model[J].Computer Engineering & Application,2004,40(10):220-222(in Chinese).[赵？？磊，钱乐秋，赵文耘.基于状态空间的工作流过程验证[J].计算机工程与应用,2004,40(10):220-222.]
[9]
？？TADAO M.Petri nets:properties,analysis and applications[A].Proceeding of IEEE[C].1989.541-580.
