通过有色Petri网对列车到列车距离测量系统的验证、确认和评估

Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets

• Haifeng Song 通讯
• Jieyu Liu
• Eckehard Schnieder