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

GB/T 43037-2023 Analysis techniques for dependability—Petri net techniques

国家标准 中文简体 现行 页数:53页 | 格式:PDF

基本信息

标准号
GB/T 43037-2023
标准类型
国家标准
标准状态
现行
中国标准分类号(CCS)
国际标准分类号(ICS)
发布日期
2023-09-07
实施日期
2023-09-07
发布单位/组织
国家市场监督管理总局、国家标准化管理委员会
归口单位
全国电工电子产品可靠性和维修性标准化技术委员会(SAC/TC 24)
适用范围
本文件给出以可信性为目标的佩特里网的基础方法,支持系统建模、模型分析并提供分析结果。本方法面向可信性相关的所有特性的量度,如可靠性、可用性、生产可用性、维修性和安全性(如安全完整性等级(SIL)[2]相关量度)。本文件处理下列佩特里网相关问题:a)定义基本术语及符号,描述其使用和图形化表示方法;b)概述术语及其与可信性的关系;c)介绍具体方法,包括:1)采用佩特里网建立可信性模型;2)采用基于佩特里网的技术进行定性和定量可信性分析;3)分析结果的解释说明。d)概述佩特里网与其他建模技术的关系;e)提供实践案例。本文件没有给出解决分析佩特里网时出现的数学问题方面的指引,相关指南能参考文献[3]和[4]。本文件适用于所有需要定性与定量可信性分析的行业。

发布历史

研制信息

起草单位:
工业和信息化部电子第五研究所
起草人:
陈捷宇、胡宁、潘勇、刘宇婕
出版信息:
页数:53页 | 字数:105 千字 | 开本: 大16开

内容描述

ICS21.020

CCSL05

中华人民共和国国家标准

/—/:

GBT430372023IEC625512012

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

AnalsistechniuesfordeendabilitPetrinettechniues

yqpyq

(:,)

IEC625512012IDT

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

国家市场监督管理总局

发布

国家标准化管理委员会

/—/:

GBT430372023IEC625512012

目次

前言…………………………Ⅲ

引言…………………………Ⅳ

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

()……………

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

A12

()/……………………

附录资料性冗余的可用性

Bmn21

()………………

推荐标准