论文部分内容阅读
随机Petri网(SPN)可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统无法同构分析,结合模糊数学理论提出一种模糊同构(FIM)方法,该方法可以约简复杂状态空间以便同构分析,最后应用该方法分析欧洲列车控制系统(ETCS)在移动闭塞区间条件下无线通信的可靠性,以验证该方法的可行性。