基于扩展Petri网的EEPC测试模型研究
殷锋
The testing research based on an extended Petri net of EEPC
Feng Yin
计算机应用 . 2007, (5): 1245 -1247 .