论文部分内容阅读
在计算机联锁系统中,联锁表表示车站信号各个设备之间的联锁关系,编制正确的联锁表至关重要。提出一种利用有色Petri网（CPN）对列车通过车站的过程进行建模,并利用模型自动生成联锁表的方法。利用CPN建立列车通过无道岔区段模型和列车通过有道岔区段模型,在这两个模型的基础上,建立列车通过车站模型。基于CPN tools的状态空间分析工具和模型中包含的联锁关系,研究CPN模型自动生成联锁表的方法。该方法可以提高对列车通过车站过程建模和生成联锁表的效率和准确性。