铁路信号控制逻辑的有色Petri网描述方法

• 作者: 吴芳美 陈邦兴
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 铁路信号 有色Petri网 建模
• 年，卷（期）: 2001,（z1）
• 页码范围: 54-58
• 页数: 5页
• 分类号: U283
• 字数: 5589字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2001.z1.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴芳美	同济大学电子与信息工程学院	32	431	12.0	20.0
2	陈邦兴	同济大学电子与信息工程学院	25	186	8.0	13.0