A Hierarchic Model of Communication-based Train Control System Using Colored Petri Nets

• 用有色Petri网建立基于通信的列车控制系统的层次模型