Petri网模型的扩展与检测
姜洋 罗贵明
Extension and verification of Petri-net models
计算机应用 . 2007, (1): 183 -185 .