GB/T 43037-2023可信性分析技术佩特里网技术

ICS21020

CCSL.05

中华人民共和国国家标准

GB/T43037—2023/IEC625512012

:

可信性分析技术佩特里网技术

Analysistechniquesfordependability—Petrinettechniques

IEC625512012IDT

(:,)

2023-09-07发布2023-09-07实施

国家市场监督管理总局发布

国家标准化管理委员会

GB/T43037—2023/IEC625512012

:

目次

前言

…………………………Ⅲ

引言

…………………………Ⅳ

范围

1………………………1

规范性引用文件

2…………………………1

术语定义符号和缩略语

3、、………………1

术语和定义

3.1…………………………1

符号

3.2…………………3

缩略语

3.3………………3

佩特里网概述

4……………4

非时间低级佩特里网

4.1………………4

时间低级佩特里网

4.2…………………4

高级佩特里网

4.3………………………5

佩特里网的扩展与建模

4.4……………5

佩特里网可信性建模与分析

5……………6

建模的一般步骤

5.1……………………6

建模的详细步骤

5.2……………………7

与其他可信性模型的关系

6………………11

附录资料性佩特里网的结构与动态性

A()……………12

附录资料性冗余的可用性

B()m/n……………………21

附录资料性简要示例

C()………………28

附录资料性典型可信性概念的建模

D()………………32

附录资料性平交道口示例

E()…………34

参考文献

……………………48

Ⅰ

GB/T43037—2023/IEC625512012

:

前言

本文件按照标准化工作导则第部分标准化文件的结构和起草规则的规定

GB/T1.1—2020《1:》

起草

。

本文件等同采用可信性分析技术佩特里网技术

IEC62551:2012《》。

请注意本文件的某些内容可能涉及专利本文件的发布机构不承担识别专利的责任

。。

本标准由中华人民共和国工业和信息化部提出

。

本标准由全国电工电子产品可靠性和维修性标准化技术委员会归口

(SAC/TC24)。

本标准起草单位工业和信息化部电子第五研究所

:。

本标准主要起草人陈捷宇胡宁潘勇刘宇婕

:、、、。

Ⅲ

GB/T43037—2023/IEC625512012

:

引言

本文件提供一种佩特里网基本元素表示的基础方法[1]以及这一技术在可信性领域的应用指南

,。

佩特里网建模的固有能力使其能够通过对局部状态及局部事件关系建模来描述系统的行为依托

。

这一背景佩特里网已在诸多工业领域应用如信息通信交通运输生产加工和制造以及能源工程

,(、、、、)

中获得广泛的认可

。

传统方法如故障树和可靠性框图无法处理多态系统也无法对动态系统的行为建模还会遇到状

(),,

态组合爆炸问题如马尔可夫过程在处理实际的工业系统问题时颇受限制因此需要其他的建模和

()。,,

计算方法

。

工业系统的可信性计算旨在对系统的各种状态以及事件如失效修理定期检测黑夜白天等

,(、、、、)

发生时系统如何从一种状态演化为另一种状态建模

。

佩特里网具有图形化的表示方式能有效支持可靠性工程师的建模是一种非常有前途的可信性建

,,

模和计算技术

。

分析计算通常只适用于小型系统且或需要强有力的前提假设如指数规律小概率当处理工

,/(、)。

业级系统时就可能需要方法上质的突破如从分析计算改为蒙特卡洛仿真

,,。

本文件旨在从可信性角度定义统一的佩特里网基本原则将目前佩特里网建模和分析使用方法

,,,

作为系统可信性及风险相关量度的定性和定量评估方法

。

Ⅳ

GB/T43037—2023/IEC625512012

:

可信性分析技术佩特里网技术

1范围

本文件给出以可信性为目标的佩特里网的基础方法支持系统建模模型分析并提供分析结果本

,、。

方法面向可信性相关的所有特性的量度如可靠性可用性生产可用性维修性和安全性如安全完整

,、、、(

性等级相关量度

(SIL)[2])。

本文件处理下列佩特里网相关问题

:

定义基本术语及符号描述其使用和图形化表示方法

a),;

概述术语及其与可信性的关系

b);

介绍具体方法包括

c),:

采用佩特里网建立可信性模型

1);

采用基于佩特里网的技术进行定性和定量可信性分析

2);

分析结果的解释说明

3)。

概述佩特里网与其他建模技术的关系

d);

提供实践案例

e)。

本文件没有给出解决分析佩特里网时出现的数学问题方面的指引相关指南能参考文献和

,[3][4]。

本文件适用于所有需要定性与定量可信性分析的行业

。

2规范性引用文件

下列文件中的内容通过文中的规范性引用而构成本文件必不可少的条款其中注日期的引用文

。,

件仅该日期对应的版本适用于本文件不注日期的引用文件其最新版本包括所有的修改单适用于

,