一种随机Petri网的模糊同构方法研究

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (11): 233-235.

一种随机Petri网的模糊同构方法研究

陈永，胡晓辉，王晓明

兰州交通大学电子与信息工程学院，兰州 730070

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-04-11 发布日期:2011-04-11

Research on fuzzy isomorphic modeling method based on stochastic Petri nets

CHEN Yong，HU Xiaohui，WANG Xiaoming

School of Electronic and Information Engineering，Lanzhou Jiaotong University，Lanzhou 730070，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-04-11 Published:2011-04-11

摘要/Abstract

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

关键词: 随机Petri网, 连续时间马尔可夫链, 模糊同构, 仿真

Abstract: Stochastic Petri nets can be mapped into a time-continuous homogenous Markov chain with state space isomorphic to the reachability graph of SPN.While analyzing the system performance，the state space of stochastic Petri nets increase exponentially with the enlarger of the system scale，which cause the complexity of system modeling.Fuzzy Isomorphic Method（FIM） is presented，in which Fuzzy Mathematics（FM） and SPN are adopted as formal theory bases.Compared with traditional methods，Fuzzy Isomorphic Method can be reduced state space so as to easy isomorphic modeling system.As a example，it gets a closer look at the reliability of communication needed for moving-block operation of Europe Train Control System with Fuzzy Isomorphic Method.

Key words: Stochastic Petri Nets（SPN）, continuous time Markov chain, fuzzy isomorphic, simulation

陈永，胡晓辉，王晓明. 一种随机Petri网的模糊同构方法研究[J]. 计算机工程与应用, 2011, 47(11): 233-235.

CHEN Yong，HU Xiaohui，WANG Xiaoming. Research on fuzzy isomorphic modeling method based on stochastic Petri nets[J]. Computer Engineering and Applications, 2011, 47(11): 233-235.

[1]	黄逸磊，夏志杰，王诣铭. 强关系型社交媒体平台不实信息传播模型研究[J]. 计算机工程与应用, 2021, 57(9): 126-133.
[2]	李高源，王晋宇，张长弓，冯博迪，高宇歌，杨海涛. SAR图像仿真方法研究综述[J]. 计算机工程与应用, 2021, 57(15): 62-72.
[3]	张悟移，李建国，龚钰雯. 高层住户防抛物、坠物安全意识演化模型[J]. 计算机工程与应用, 2021, 57(1): 254-260.
[4]	康雷雷，卢维科，刘澜. 城市快速路入口匝道与交叉口协调控制策略[J]. 计算机工程与应用, 2020, 56(9): 267-271.
[5]	叶颖诗，魏福义，蔡贤资. 基于并行计算的快速Dijkstra算法研究[J]. 计算机工程与应用, 2020, 56(6): 58-65.
[6]	刘洪琛，刘朝霞，张龙. 融合[L2]和KL保真项的图像恢复算法[J]. 计算机工程与应用, 2020, 56(5): 214-221.
[7]	朱惠娟，王永利，陈琳琳. 面向三维模型轻量化的自私羊群优化算法研究[J]. 计算机工程与应用, 2020, 56(3): 42-48.
[8]	张新伟，李康，郁龚健，刘家航，李佩琦，柴志雷. 基于ZYNQ集群的神经形态计算加速研究与实现[J]. 计算机工程与应用, 2020, 56(21): 65-71.
[9]	蒋姝丽，刘渊，王晓锋. 天地一体化信息网络宽带用户行为仿真技术[J]. 计算机工程与应用, 2020, 56(10): 75-82.
[10]	戴耀南，陈绪兵. 人体背部脊椎恒温艾灸机器人设计与实现[J]. 计算机工程与应用, 2019, 55(9): 216-222.
[11]	龚心杰，李德识. 广域稳控系统通信网络性能仿真及分析[J]. 计算机工程与应用, 2019, 55(8): 66-73.
[12]	魏锋涛，卢凤仪. 融合核函数在改进径向基代理模型中的应用[J]. 计算机工程与应用, 2019, 55(7): 58-65.
[13]	吴其凡1，张劲1，刘凯1，汤炜2，田卫东2. 下颌骨拼接与导板设计的力反馈虚拟手术研究[J]. 计算机工程与应用, 2019, 55(5): 226-231.
[14]	陈可嘉，陈琳琳，陈鹏. OPM3要素对项目组合管理能力影响的SD建模与仿真[J]. 计算机工程与应用, 2019, 55(3): 258-265.
[15]	刘富春，贺云，陈奕峰. 时延MPC自主车辆协同控制算法与仿真[J]. 计算机工程与应用, 2019, 55(23): 222-227.