铁路信号设备是铁路运输的基础设施,是保证行车安全、提高运输效率和改善劳动条件的安全关键设备。发展铁路信号系统,对于提高铁路的现代化水平起到至关重要的作用。 对铁路信号系统建模和分析是系统设计中一项十分重要的工作。长期以来,人们探索着各种建模和分析方法,使得建立的模型尽可能真实地反映系统实际,同时又能方便地加以分析,从而获知系统特性,为系统设计奠定理论基础。本文将离散事件系统的理论和分析方法引入铁路信号系统的研究,以微机化自动站间闭塞系统为实例,运用面向对象Petri网的方法构建系统模型,采用离散事件系统性能分析方法——P不变量的方法,分析系统动态性能,从而得出了对于复杂的铁路信号系统也可使用该理论进行分析研究。 论文内容包括绪论,Petri网理论,微机化自动站间闭塞系统Petri网模型,系统性能分析,及结论等几个部分。论文主要研究内容是:运用Petri网理论构建系统模型,该模型分为六类相对独立的对象子网:信号灯类对象子网、区段类对象子网、列车类对象子网、闭塞机对象子网、计轴类对象子网、通信类对象子网。通过描述对象类之间的关系,运用P不变量分析法分析系统的动态特性。