铁路信号联锁逻辑形式化建模研究

作者：王玉麟

来源：科学技术创新, 2018, (18): 65-66.

• 铁路信号
• 联锁逻辑形式化
• 建模

文章针对铁路信号联锁逻辑形式化建模展开了分析,并且从有色Petri网结构、建模实践等方面进行论述,目的在于探究更有效率的建模方案,为今后相关工作的顺利进行提供参考。

• 单位
  朔黄铁路发展有限责任公司