摘要
根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性。
In this paper, a new assessment method, combining the advantages of Petri nets and F＇FA, is presented according the hazard level of interlocking accident. And an example are verified by this method.
出处
《微电子学与计算机》
CSCD
北大核心
2007年第8期14-17,21,共5页
Microelectronics & Computer
基金
国家自然科学基金项目(60674004)
