本文件给出以可信性为目标的佩特里网的基础方法,支持系统建模、模型分析并提供分析结果。
本方法面向可信性相关的所有特性的量度,如可靠性、可用性、生产可用性、维修性和安全性(如安全完整性等级(SIL)[2]相关量度)。
本文件处理下列佩特里网相关问题:
a)定义基本术语及符号,描述其使用和图形化表示方法;
b)概述术语及其与可信性的关系;
c)介绍具体方法,包括:
1)采用佩特里网建立可信性模型;
2)采用基于佩特里网的技术进行定性和定量可信性分析;
3)分析结果的解释说明。
d)概述佩特里网与其他建模技术的关系;
e)提供实践案例。
本文件没有给出解决分析佩特里网时出现的数学问题方面的指引,相关指南能参考文献[3]和[4]。
本文件适用于所有需要定性与定量可信性分析的行业。
英文名称:
Analysis techniques for dependability—Petri net techniques
中标分类:
电子元器件与信息技术 - 电子元器件与信息技术综合 - L05可靠性和可维护性
ICS分类:
机械系统和通用件 - 21.020机器、装置、设备的特性和设计
采标情况:
IEC 62551:2012
发布部门:
国家市场监督管理总局 国家标准化管理委员会
发布日期:
2023-09-07
实施日期:
2023-09-07
提出单位:
中华人民共和国工业和信息化部
归口单位:
全国电工电子产品可靠性和维修性标准化技术委员会(SAC/TC 24)
起草单位:
工业和信息化部电子第五研究所
起草人:
陈捷宇、胡宁、潘勇、刘宇婕
页数:
56页
出版社:
中国标准出版社