混合动态系统SPN的可达性分析

• 作者: 曾建潮 李忠卫 王希云
• 来源期刊: 控制工程
• 学科: 数学
• 关键词: 混合动态系统 随机Petri网 可达概率 状态可达树
• 年，卷（期）: 2004,（z1）
• 所属期刊栏目: 控制理论与应用
• 页码范围: 93-95
• 页数: 3页
• 分类号: O232
• 字数: 2329字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7848.2004.z1.028

摘要

根据混合动态系统SPN(Stochastic Petri Nets)模型的运行规则,给出了几种典型结构(串行结构、并行结构、冲突结构)中变迁的可激发以及可激发成功概率的计算方法,在此基础上,计算出托肯沿几种基本路径(简单串行路径、简单并行路径、简单Fork/Join路径)从起始库所到达终止库所的可达概率,同时从宏观状态的角度构建了该SPN模型的状态可达树,通过可达树可以判断状态间的可达性并计算可达概率.