Researching Colored Petri Nets Model of Communication Based Train Control System

• 基于通信的列车控制系统的有色Petri网模型的研究