基于Petri网的同步通信模型及算法 - 宋军; 顾冠群 (Tongxin xuebao)