可信性分析技术 佩特里网技术
Analysis techniques for dependability—Petri net techniques
标准状态
发布于:2023-09-07
实施于:2023-09-07
废止
基本信息
GB/T 43037-2023
现行
2023-09-07
2023-09-07
工业和信息化部(电子)
国家市场监督管理总局、国家标准化管理委员会
工业和信息化部(电子)
工业和信息化部(电子)
工业和信息化部电子第五研究所
陈捷宇、胡宁、潘勇、刘宇婕
标准简介
本文件给出以可信性为目标的佩特里网的基础方法。支持系统建模、模型分析并提供分析结果。本方法面向可信性相关的所有特性的量度.如可靠性、可用性、生产可用性、维修性和安全性(如安全完整性等级(SIL)[2]相关量度)。 本文件处理下列佩特里网相关问题:a)定义基本术语及符号。描述其使用和图形化表示方法;b)概述术语及其与可信性的关系;C)介绍具体方法,包括:1)采用佩特里网建立可信性模型;2)采用基于佩特里网的技术进行定性和定量可信性分析:3)分析结果的解释说明。d)概述佩特里网与其他建模技术的关系;e)提供实