联锁逻辑形式化相关论文
要想更好地对铁路信号联锁逻辑形式化建模进行研究,就需要了解它的有色Petri网结构,并且要对建模的实践等方面进行积极的讨论,这样......
文章针对铁路信号联锁逻辑形式化建模展开了分析,并且从有色Petri网结构、建模实践等方面进行论述,目的在于探究更有效率的建模方......
