本文件給出以可信性為目標(biāo)的佩特里網(wǎng)的基礎(chǔ)方法,支持系統(tǒng)建模、模型分析并提供分析結(jié)果。
本方法面向可信性相關(guān)的所有特性的量度,如可靠性、可用性、生產(chǎn)可用性、維修性和安全性(如安全完整性等級(SIL)[2]相關(guān)量度)。
本文件處理下列佩特里網(wǎng)相關(guān)問題:
a)定義基本術(shù)語及符號(hào),描述其使用和圖形化表示方法;
b)概述術(shù)語及其與可信性的關(guān)系;
c)介紹具體方法,包括:
1)采用佩特里網(wǎng)建立可信性模型;
2)采用基于佩特里網(wǎng)的技術(shù)進(jìn)行定性和定量可信性分析;
3)分析結(jié)果的解釋說明。
d)概述佩特里網(wǎng)與其他建模技術(shù)的關(guān)系;
e)提供實(shí)踐案例。
本文件沒有給出解決分析佩特里網(wǎng)時(shí)出現(xiàn)的數(shù)學(xué)問題方面的指引,相關(guān)指南能參考文獻(xiàn)[3]和[4]。
本文件適用于所有需要定性與定量可信性分析的行業(yè)。