基于时间Petri网的潜在定时分析

摘要：

针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。

关键词： 时间Petri网 潜在定时分析 潜在通路分析 安全性 Petri网模型 可达标识集

作者: 刘勇志 刘丙杰

作者单位: 海军潜艇学院导弹兵器系 山东青岛 266071 海军潜艇学院导弹兵器系 山东青岛 266071;第二炮兵工程学院302教研室 陕西西安 710025

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 203-205

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）