-
题名基于时间Petri网的潜在定时分析
- 1
-
-
作者
刘勇志
刘丙杰
-
机构
海军潜艇学院导弹兵器系
第二炮兵工程学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期203-205,共3页
-
文摘
针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。
-
关键词
时间PETRI网
潜在定时分析
潜在通路分析
安全性
-
Keywords
time petri nets
sneak timing analysis
sneak circuit analysis
safety
-
分类号
TP202
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于时间Petri网的潜在定时分析
- 2
-
-
作者
刘丙杰
胡昌华
-
机构
第二炮兵工程学院
-
出处
《控制工程》
CSCD
2007年第S3期35-37,60,共4页
-
文摘
针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为5种基本模式,并分别定义了5种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。
-
关键词
时间PETRI网
潜在定时分析
潜在通路分析
-
Keywords
time Petri nets
sneak timing analysis
sneak circuit analysis
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
