随机Petri网同步并发行为的定量分析方法 - 蒋昌俊; 疏松桂; 郑应平 (Tongxin xuebao)