| [1] | LIN Chuang，TIAN Liqin，WEI Yaya. Performance equivalent analysis of workflow systems[J].Journal of Software， 2002，13（8）：1472-1480（in Chinese）.[林闯，田立勤，魏丫丫.工作流系统模型的性能等价分析[J].软件学报，2002，13（8）：1472-1480.]
|
| [2] | LUO Haibin, FAN Yushun, WU Cheng. Analysis of event balance in the verification of workflow soundness[J].Journal of Software，2002，13（8）：1686-1691（in Chinese）.[罗海滨，范玉顺，吴澄.工作流合 理性验证中的事件平衡分析[J].软件学报，2002，13(8)：1686-1691.]
|
| [3] | LI Jianqiang , FAN Yushun.Research of Petri net based workflow model reduction methods[J]. Information and Control，2002，30（6）：492-497（in Chinese）.[李建强，范玉顺.基于Petri网化简方法的工作流模型验证[J].信息与控制，2002，30（6）：492-497.]
|
| [4] | AALST van der W M P，ARTHUR H M，HOFSTEDE T. Verification of workflow task structures：a petri-net-based approach[J].Information Systems，2000，25（1）：43-69 .
|
| [5] | FU X，BULTAN T，HULL R，et al. Verification of vortex workflows[A]. Proceeding of the 7th international conference on Tools and Algorithms for the Construction and Analysis of Systems[C]. Berlin：Springer-Verlag，2001.143-157.
|
| [6] | UCHIHIRA N. A programming environment for reactive and concurrent systems using petri nets and temporal logic[EB/OL]. www.craft.titech.ac.jp/～uchihira/phd.html,1997-11.
|
| [7] | MERZ S. Model checking：a tutorial overview[A].4th Summer School，Modelling and Verification of Parallel Processes (MOVEP00)[C].Berlin：Spinger-Verlag，2001.3-38.
|
| [8] | YIH-KUEN T . Compositional verification in linear-time temporal logic[A]. Third International Conference，Foundations of Software Science and Computation Structures 2000[C].Berlin：Spinger-Verlag，2000.344-358 .
|
| [9] | ZHANG Guangquan, SUN Min. Comparison and analysis of temporal logic[J].Journal of Yuzhou University（Nat. Scien. Edit），1999，16（2）：15-18（in Chinese）. [张广泉，孙敏.时态逻辑的比较与分析[J].渝州大学学报（自然科学版），1999，16（2）：15-18.]
|
| [10] | SALIMIFARD K，WRIGHT M. Petri net-based modelling of workflow systems：an overview[J].European Journal of Operational Reseach，2001，134（3）：664-676.
|
