中文名称:可信性分析技术 佩特里网技术
|
英文名称:Analysis techniques for dependability. Petri net techniques
|
原文名称:
|
中标分类:L05
|
ICS分类:21.020
|
标准分类编号:CN
|
页数:54
|
发布日期:2023-09-07
|
实施日期:2023-09-07
|
作废日期:
|
被替代标准:
|
代替标准序号:
|
引用标准:IEC 60050-192
|
采用标准化:IEC 62551-2012,IDT
|
补充修订:
|
标引依据:国家标准公告2023年第9号
|
标准摘要:本文件给出以可信性为目标的佩特里网的基础方法,支持系统建模、模型分析并提供分析结果。本方法面向可信性相关的所有特性的量度,如可靠性、可用性、生产可用性、维修性和安全性(如安全完整性等级(SIL)[2]相关量度)。本文件处理下列佩特里网相关问题:a)定义基本术语及符号,描述其使用和图形化表示方法;b)概述术语及其与可信性的关系;c)介绍具体方法,包括:1)采用佩特里网建立可信性模型;2)采用基于佩特里网的技术进行定性和定量可信性分析;3)分析结果的解释说明。d)概述佩特里网与其他建模技术的关系;e)提供实践案例。本文件没有给出解决分析佩特里网时出现的数学问题方面的指引,相关指南能参考文献[3]和[4]。本文件适用于所有需要定性与定量可信性分析的行业。
|
|
|
|
|
|
|
|