基于Petri网语言的系统设计与分析 - 蒋昌俊; 郑应平; 疏松桂 (Tongxin xuebao)