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

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