7Tingyao Jiang,Zhonghu Jing.Sensitivity analysis of transport machinery configuration in underground cavern group construction[J].Intelligent Automation and Soft Computing,2012,17(6-S):711-718. 被引量：1
8Girault C,Valk R.Petri nets for system engineering:A guide to modeling,verification,and applications[M].Springer-Verlag New York,Inc.2001:1433-1442. 被引量：1
