%0 Journal Article %T “基于Petri网的协议工程及并发系统建模”学术研讨会 %D 2008 %R %J 计算机科学与探索 %P 110-110 %V 2 %N 1 %X %U http://fcst.ceaj.org/CN/abstract/article_65.shtml