“基于Petri网的协议工程及并发系统建模”学术研讨会
Journal of Frontiers of Computer Science and Technology . 2008, (1): 110 -110 .