摘要： 随机Petri网(SPN)在进行系统性能分析时，其状态空间随着系统规模的增大而呈指数性增长，造成系统建模复杂。针对该问题，结合面向对象Petri网理论(OOPN)提出一种SPN2方法，与传统SPN方法相比，SPN2方法可进行分层及面向对象网中网建模，并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。

关键词: 铁路移动通信系统, 随机Petri网, 随机Petri网中网, 仿真

Abstract: While analyzing the system performance, the state space of stochastic Petri nets increases exponentially with the enlarge of the system scale, which causes the complexity of system modeling. Stochastic Petri Nets in a Stochastic Petri Nets(SPN2) method is presented, in which Object-Oriented Petri Nets(OOPN) are adopted as formal theory bases. Compared with traditional methods, SPN2 method can be layered and object-oriented Nets-within-nets modeling system. As an example, it has a closer look at the reliability of communication needed for moving-block operation of high-speed train with SPN2 method.

Key words: Global System for Mobile communication Railway(GSM-R), stochastic Petri nets, Stochastic Petri Nets in a Stochastic Petri Nets(SPN2), simulation

中图分类号: 

• TP391.9