铁路信号计算机联锁系统是一个安全 -关键系统 .运用Petri网模型化了该系统中的软件部分 ,包括上位机、联锁机和采集 /驱动部分 .该模型将有助于检测系统定义的一致性、完整性和精确性 ,有助于提高系统的安全性和实时性能 The railway signal computer interlocking system is a safety-critical system.The part of software in this system is modeled by Petri net, including host computer, interlocking machine and acquisition / driving part.The model will help to detect the consistency of system definition Sex, completeness and accuracy help improve system security and real-time performance