基于广义随机Petri网GSPN的系统安全性研究

基于广义随机Petri网GSPN的系统安全性研究
钟小军;汪雄;董鹏;赵昭
【期刊名称】《海军工程大学学报》
【年(卷),期】2007(019)003
【摘要】针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究.基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段.
【总页数】6页(P56-61)
【作者】钟小军;汪雄;董鹏;赵昭
【作者单位】海军工程大学,管理工程系,武汉,430033;海军工程大学,管理工程系,武汉,430033;海军工程大学,管理工程系,武汉,430033;国防科技大学,信息系统与管理学院,长沙,410073
【正文语种】中文
【中图分类】O23
【相关文献】
1.广义随机Petri网（GSPN）的一种可达集生成算法 [J], 张岚;李人厚
2.基于GSPN的机载构件化软件系统可靠性测试方法 [J], 孙科;覃杨森
3.基于GSPN模型的数控机床液压系统可靠性建模 [J], 李志瑶;徐田恬
4.基于GSPN的锁步处理器系统可靠性建模与分析 [J], 李联; 杨淏天
5.基于AADL和GSPN的安全关键系统的研究 [J], 杨海云;孙有朝;阮宏泽;皇甫齐君
因版权原因，仅展示原文概要，查看原文内容请购买。