摘要
中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情况和功能类型,采用面向对象的Petri网实现系统动态特征的描述和建模.
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.
出处
《甘肃科学学报》
2005年第3期99-103,共5页
Journal of Gansu Sciences
基金
甘肃省自然科学基金项目(3EZ042-B25-025)
教育部光电技术和智能控制重点实验室开放基金(K04109)