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

本文件给出以可信性为目标的佩特里网的基础方法，支持系统建模、模型分析并提供分析结果。
本方法面向可信性相关的所有特性的量度，如可靠性、可用性、生产可用性、维修性和安全性（如安全完整性等级（SIL）［2］相关量度）。
本文件处理下列佩特里网相关问题：a)定义基本术语及符号，描述其使用和图形化表示方法；b)概述术语及其与可信性的关系；c)介绍具体方法，包括：1)采用佩特里网建立可信性模型；2)采用基于佩特里网的技术进行定性和定量可信性分析；3)分析结果的解释说明。d)概述佩特里网与其他建模技术的关系；e)提供实践案例。
本文件没有给出解决分析佩特里网时出现的数学问题方面的指引，相关指南能参考文献［3］和［4］。
本文件适用于所有需要定性与定量可信性分析的行业。

标准编号：GB/T 43037-2023
标准名称：可信性分析技术 佩特里网技术
英文名称：Analysis techniques for dependability—Petri net techniques
发布部门：国家市场监督管理总局 国家标准化管理委员会
发布日期：2023-09-07
实施日期：2023-09-07
标准状态：现行
起草单位：工业和信息化部电子第五研究所
起草人员：陈捷宇、胡宁、潘勇、刘宇婕
文件大小：5.97MB
文件格式：PDF
文件页数：55页

标准全文下载：
GBT 43037-2023 可信性分析技术 佩特里网技术.pdf (5.97 MB)

2024-3-1 00:48 上传

点击文件名下载附件

封面截图如下：