层次化有色Petri网相关论文
在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备......
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发,还是对联锁软件的测试都是非常重要的.铁路大站的联锁逻辑十分复杂......
