基于Petri网的城市轨道交通车辆子系统运营安全性模型

Constructing Security Model of Vehicle in Urban Mass Transit System Based on Petri Net

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆子系统运营安全模型。

A modeling method for analyzing the security of urban rail transit system based on Petri net was presented, then it was used to the vehicle security modeling. In the model, urban mass transit vehicle system was divided into three object-faced processing sets that connected by message database. In that way, the constructing security model was composed.