基于随文档资料机petri网的磁浮列车超速防护建模跟安全解析.pdfVIP

第 3 1 卷第 4 期 铁 　　道 　　学 　　报 Vol . 3 1 　No . 4 2 0 0 9 年 8 月 J OU RNAL O F T H E C H IN A RA IL WA Y SOCIE T Y Augu st 2009 文章编号 : 100 18360 (2009) 基于随机 Petri 网的磁浮列车超速防护建模及安全分析 郑 　伟 , 　徐洪泽 (北京交通大学 电子信息工程学院 , 北京 　100044) 摘 　要 : 欧洲议会颁布的 CEN EL EC 系列标准文件及安全指南基于全局安全 目标来量化铁路运行的可容忍风 险 ,并希望据此确定相应控制系统功能及部件的安全需求 。本文基于单一的随机 Pet ri 网 ,通过对系统 自身运行 的动态特性及所有影响系统运行风险的因素