混合动态系统SPN的可达性分析
根据混合动态系统SPN(Stochastic Petri Nets)模型的运行规则,给出了几种典型结构(串行结构、并行结构、冲突结构)中变迁的可激发以及可激发成功概率的计算方法,在此基础上,计算出托肯沿几种基本路径(简单串行路径、简单并行路径、简单Fork/Join路径)从起始库所到达终止库所的可达概率,同时从宏观状态的角度构建了该SPN模型的状态可达树,通过可达树可以判断状态间的可达性并计算可达概率.
混合动态系统 随机Petri网 可达概率 状态可达树
李忠卫 曾建潮 王希云
太原重型机械学院应用科学分院(山西太原)
国内会议
长春
中文
249-251
2004-07-30（万方平台首次上网日期，不代表论文的发表时间）