标准摘要
[中文适用范围]: 本国际标准为基于 Petri 网的可靠性目的方法提供了指导。它支持对系统进行建模@分析模型并呈现分析结果。该方法面向具有所有相关功能@的可靠性相关测量,例如可靠性@可用性@生产可用性@可维护性和安全性(例如安全完整性等级(SIL)[2]相关测量)。本标准涉及与 Petri 网相关的以下主题: a) 定义基本术语和符号并描述其用法和图形表示方法; b) 概述术语及其与可靠性的关系; c) 提出分步方法:1) 使用 Petri 网进行可靠性建模@ 2) 指导使用基于 Petri 网的技术进行定性和定量可靠性分析@ 3) 表示和解释分析结果; d) 概述 Petri 网与其他建模技术的关系; e) 提供实际例子。该标准不指导如何解决分析 PN 时出现的数学问题;此类指南可在 [3] 和 [4] 中找到。本标准适用于所有进行定性和定量可靠性分析的行业。 [外文原描述]: 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
英文名称Analysis techniques for dependability - Petri net techniques