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

Analysis techniques for dependability—Petri net techniques

标准介绍

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

提出部门

中华人民共和国工业和信息化部

发布部门

国家市场监督管理总局、国家标准化管理委员会