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 |