基于Petri网的列控系统形式化分析方法

基于Petri网的列控系统形式化分析方法

刘建昆宋文周涛

Formal analysis approaches of train control system based on Petri nets

LIU Jiankun SONG Wen ZHOU Tao

计算机应用 . 2013, (04): 1132 -1135 . DOI: 10.3724/SP.J.1087.2013.01132