IEC 62551:2012提供了基于Petri网的可靠性方法指南。它支持对系统进行建模、分析模型并给出分析结果。该方法适用于所有相关特征的可靠性相关测量，如可靠性、可用性、生产可用性、可维护性和安全性（例如安全完整性水平（SIL）[2]相关测量）。 关键词:基于Petri网的可靠性方法

IEC 62551:2012 provides guidance on a Petri net based methodology for dependability purposes. It supports modelling a system, analysing the model and presenting the analysis results. This methodology is oriented to dependability-related measures with all the related features, such as reliability, availability, production availability, maintainability and safety (e.g. safety integrity level (SIL) [2] related measures). Key words: Petri net based methodology for dependability purposes