Cover IEC 62551:2012

IEC 62551:2012

Analysis techniques for dependability - Petri net techniques

Circulation Date: 2012-10
Edition: 1.0
Language: EN-FR - bilingual english/french
Seitenzahl: 136 VDE Artno.: 219253


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