| 基于时间Petri网的潜在定时分析 |
| |
| 引用本文： | 刘勇志,刘丙杰.基于时间Petri网的潜在定时分析[J].系统仿真学报,2007,19(A01):203-205. |
| |
| 作者姓名： | 刘勇志 刘丙杰 |
| |
| 作者单位： | [1]海军潜艇学院导弹兵器系,山东青岛266071 [2]第二炮兵工程学院302教研室,陕西西安710025 |
| |
| 摘 要： | 针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。
|
| 关 键 词： | 时间Petri网 潜在定时分析 潜在通路分析 安全性 |
| 文章编号： | 1004-731X（2007）S1-0203-03 |
| 收稿时间： | 2007-01-10 |
| 修稿时间： | 2007-06-23 |
Time Petri Nets for Sneak Timing Analysis |
| |
| LIU Yong-zhi, LIU Bing-jie.Time Petri Nets for Sneak Timing Analysis[J].Journal of System Simulation,2007,19(A01):203-205. |
| |
| Authors: | LIU Yong-zhi LIU Bing-jie |
| |
| Abstract: | Sneak timing is an important factor for the system safety. But, there are seldom effective techniques can discover sneak timing. To address this problem, the paper presented sneak timing analysis technique based on Time Petri Nets. Five basic Petri net patterns were proposed, and the transition condition and transition rules of each basic pattern were given. Two typical examples were used to demonstrate the approach. |
| |
| Keywords: | time petri nets sneak timing analysis sneak circuit analysis safety |
| 本文献已被 维普 等数据库收录！ |
