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

Research on generalized random petri net GSPN-based methods of safety analysis

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。

The method of safety analysis for the dynamic systems based on the generalized stochastic Petri nets （GSPN） has been systematically researched in this paper. Based on the basic principle of the Petri Net and GSPN models, a search algorithm of the critical state has been presented and the security simulation ana-lysis hasbeen made. Applying Generalized Stochastic Petri Nets to security analysis domain can enrich the research method of dynamic security problem, which is of great significance to improving the security of our equipment model.