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

要想更好地对铁路信号联锁逻辑形式化建模进行研究,就需要了解它的有色Petri网结构,并且要对建模的实践等方面进行积极的讨论,这样才能够研究出更有效的建模方法,从而可以使铁路信号联锁逻辑形式化顺利进行。