“基于Petri网的协议工程及并发系统建模”学术研讨会
计算机科学与探索 . 2008, (1): 110 -110 .