DKE German Commission for Electrical, Electronic & Information Technologies of DIN and VDE
DIN EN 62551
; VDE 0050-4:2013-08
Analysis techniques for dependability - Petri net techniques (IEC 62551:2012); German version EN 62551:2012
Analysemethoden für Zuverlässigkeit - Petrinetze (IEC 62551:2012); Deutsche Fassung EN 62551:2012
Overview
This International Standard provides guidance on a Petri net based methodology for dependability purposes. The use of Petri nets 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. Thus, this International Standard deals with the following topics in relation to Petri nets: a) defining the essential terms and symbols and describing their usage and methods of graphical representation; b) outlining the terminology and its relation to dependability; c) presenting a step-by-step approach for 1) dependability modelling with Petri nets, 2) guiding the usage of Petri net based techniques for qualitative and quantitative dependability analyses, 3) representing and interpreting the analysis results; d) outlining the relationship of Petri nets to other modelling techniques; e) providing practical examples. This International Standard is applicable to all industries where qualitative and quantitative dependability analyses are to be performed. The responsible committee is DKE/K 132 "Zuverlässigkeit" ("Dependability") of the DKE (German Commission for Electrical, Electronic and Information Technologies) at DIN and VDE.
