6Masoud, N., Minami, Y., Triplett, J.. Cairo Metro Line Number Two Ground Based Maintenance System[A]. Proceedings of the IEEE/ASME Joint Railroad Conference[C], Piscataway, NJ, United States.IEEE, 1997.77-81.
7Kennedy, W. J., Patterson, J. W., Fredendall, L. D., An overview of recent literature on spare parts inventories[J]. International journal of Production Economics, 2002, (76) : 201-215.
8Wu Naiqi, Bai Liping, Chu Chengbin. Hybrid Petri net modeling for refinery process[ J ]. IEEE International Conference on System, Man and Cybernetics. 2004 - 10. 1734 - 1739.
9Jonathan Lee, Lein F Lai. A High - Level Petri net Based Approach to Verifying Task Structures [ J ]. IEEE Transactions on Knowledge and Data Engineering. 2002,4(14) :316 -335.
