作者：杜军威; 徐中伟安全苛求系统故障树分析法petri网安全性评估
摘要：根据联锁系统的事故危害度分类，有效地结合故障树分析法和Petri网可达图分析的各自优点，提出一种用于评估联锁系统Petri模型的安全性的方法，并通过实例验证其有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《微电子学与计算机》（CN：61-1123/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《微电子学与计算机》是中国计算机学会会刊，本刊的宗旨是，严谨认真，求实创新；以人为本，研以致用；弘扬科学，追求真理。本刊国内公开发行，面向科研院所，厂矿技术人员、院校师生和管理人员，及时提供国内微电子与计算机行业最新科研成果。
部级期刊
人气 229912 评论 65
人气 213791 评论 35
省级期刊
人气 212574 评论 71
北大期刊、统计源期刊
人气 192795 评论 73
