论文部分内容阅读
铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程.