|
|||||
|
|
| 联锁软件的Petri网模型化 | |
| 引用本文： | 杨扬,王晓明,何梅芳,肖蒙.联锁软件的Petri网模型化[J].兰州铁道学院学报,2002,21(1):1-6. |
| 作者姓名： | 杨扬 王晓明 何梅芳 肖蒙 |
| 作者单位： | [1]铁道科学研究院，北京100081 [2]兰州铁道学院信息与电气工程学院，甘肃兰州730070 |
| 摘 要： | 铁路信号计算机联锁系统是一个安全－关键系统，运用Petri网模型化了该系统中的软件部分，包括上位机，联锁机和采集／驱动部分，该模型将有助于检测系统定义的一致性，完整性和精确性，有助于提高系统的安全性和实时性能。 |
| 关 键 词： | 铁路信号 计算机联锁 Petri网 安全性 模型化 实时性 |
| 文章编号： | 1001-4373(2002)01-0001-06 |
| 修稿时间： | 2001年12月6日 |
Modeling the Interlock Software in Petri Nets |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ | |