1. FAN Hao ,SHU De-qin ,Zhang Liang, Petri Net Automatic Modeling Method Based on System Behavior Se quence. 3rd Asian Pacific Conference on Mechanical Components and Control Engineering (ICMCCE 2014), Septe mber 20-21, 2014,Tianjin, China. Applied Mechanics and Materials Vol.668-669.(2014).pp499-507.(EI:**43 0832) 2. SHU De-qin ,FAN Hao , Zhang Liang, A Method of Producing Protocol Minimum Complete Test Cases Ba sed on Petri net Process. 3rd Asian Pacific Conference on Mechanical Components and Control Engineering (ICMC CE 2014), September 20-21, 2014,Tianjin, China. Applied Mechanics and Materials Vol.668-669.1208-1214.(EI:201 **936) 3. SHU De qin, Fan Hao, Zhang Liang, Research on Protocol Conformance Testing Method Based on Petri Net. 4th National Conference on Electrical, Electronics and Computer Engineering(NCEECE 2015), December 12-13,2015.Xi’ an, China.(EI 待检) |