计算机工程 ›› 2010, Vol. 36 ›› Issue (17): 283-285.doi: 10.3969/j.issn.1000-3428.2010.17.096

• 开发研究与设计技术 • 上一篇    下一篇

基于随机Petri网的SPN2软件建模方法研究

陈 永,胡晓辉,党建武   

  1. (兰州交通大学电子与信息工程学院,兰州 730070)
  • 出版日期:2010-09-05 发布日期:2010-09-02
  • 作者简介:陈 永(1979-),男,博士研究生,主研方向:智能理论,图像分析;胡晓辉,教授、博士;党建武,教授、博士生导师

Research on SPN2 Software Modeling Method Based on Stochastic Petri Nets

CHEN Yong, HU Xiao-hui, DANG Jian-wu   

  1. (School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070)
  • Online:2010-09-05 Published:2010-09-02

摘要: 随机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

中图分类号: