|
|||||
|
|
| 针对面向对象着色Petri网的中国列车运行控制系统建模 | |
| 引用本文： | 胡晓辉,党建武,周兴社.针对面向对象着色Petri网的中国列车运行控制系统建模[J].甘肃科学学报,2005,17(3):99-103. |
| 作者姓名： | 胡晓辉 党建武 周兴社 |
| 作者单位： | 1. 兰州交通大学信息与电气工程学院,甘肃,兰州,730070;西北工业大学,计算机科学与工程系,陕西,西安,710072 2. 光电技术与智能控制教育部重点实验室(兰州交通大学),甘肃,兰州,730070;兰州交通大学信息与电气工程学院,甘肃,兰州,730070 3. 西北工业大学,计算机科学与工程系,陕西,西安,710072 |
| 基金项目： | 甘肃省自然科学基金项目（3EZ042-B25-025）;教育部光电技术和智能控制重点实验室开放基金（K04109） |
| 摘 要： | 中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情况和功能类型,采用面向对象的Petri网实现系统动态特征的描述和建模. |
| 关 键 词： | 中国列车运行控制系统 Petri网 建模 通信 |
| 文章编号： | 1004-0366（2005）03-0099-05 |
| 收稿时间： | 2004-11-12 |
| 修稿时间： | 2004-11-12 |
Modeling the Chinese Train Control System by Using Colored Petri Nets with Objects |
|
| HU Xiao-hui,DANG Jian-wu,ZHOU Xing-she.Modeling the Chinese Train Control System by Using Colored Petri Nets with Objects[J].Journal of Gansu Sciences,2005,17(3):99-103. | |
| Authors: | HU Xiao-hui DANG Jian-wu ZHOU Xing-she |
| Abstract: | The Chinese train control system(CTCS) is a typical sophisticated real-time distributed system, for which Petri nets can be used to model, simulate and verify. Based on the common components of trains, radio block centers, etc., the paper considers the scenarios of train's running and different functions, and adopts colored Petri nets with objects to realize the specification and modeling of the dynamic characteristics of the CTCS. |
| Keywords: | CTCS Petri nets modeling communication |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |