EN 62551:2012
Current
The latest, up-to-date edition.
Analysis techniques for dependability - Petri net techniques
16-11-2012
FOREWORD
INTRODUCTION
1 Scope
2 Normative references
3 Terms, definitions, symbols and abbreviations
4 General description of Petri nets
5 Petri net dependability modelling and analysis
6 Relationship to other dependability models
Annex A (informative) - Structure and dynamics
of Petri nets
Annex B (informative) - Availability with redundancy
m-out-of-n
Annex C (informative) - Abstract example
Annex D (informative) - Modelling typical dependability
concepts
Annex E (informative) - Level-crossing example
Bibliography
Annex ZA (normative) - Normative references to
international publications with their
corresponding European publications
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
| Committee |
CLC/SR 56
|
| DocumentType |
Standard
|
| PublisherName |
European Committee for Standards - Electrical
|
| Status |
Current
|
| Standards | Relationship |
| I.S. EN 62551:2012 | Identical |
| CEI EN 62551 : 2013 | Identical |
| VDE 0050-4 : 2013 | Identical |
| NF EN 62551 : 2013 | Identical |
| PN EN 62551 : 2013 | Identical |
| NBN EN 62551 : 2012 | Identical |
| DIN EN 62551 : 2013 | Identical |
| IEC 62551:2012 | Identical |
| NEN EN IEC 62551 : 2012 | Identical |
| BS EN 62551:2012 | Identical |
| UNE-EN 62551:2012 | Identical |
| UNE-EN 62551:2014 | Identical |
| BS EN 61078:2016 | Reliability block diagrams |
| BS EN 61511-3:2017 | Functional safety. Safety instrumented systems for the process industry sector Guidance for the determination of the required safety integrity levels |
| EN 61078 : 1991 | RELIABILITY BLOCK DIAGRAMS (IEC 61078:2016) |
| EN 61511-3:2017 | Functional safety - Safety instrumented systems for the process industry sector - Part 3: Guidance for the determination of the required safety integrity levels |
| IEC 61025:2006 | Fault tree analysis (FTA) |
| IEC 60050-351:2013 | International Electrotechnical Vocabulary (IEV) - Part 351: Control technology |
| EN 60812:2006 | Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA) |
| EN 61508-1:2010 | Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 1: General requirements |
| IEC 60812:2006 | Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA) |
| IEC 60050-151:2001 | International Electrotechnical Vocabulary (IEV) - Part 151: Electrical and magnetic devices |
| IEC 61078:2016 | Reliability block diagrams |
| IEC 61165:2006 | Application of Markov techniques |
| IEC 61508-4:2010 | Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 4: Definitions and abbreviations (see Functional Safety and IEC 61508) |
| EN 61078 : 1991 | RELIABILITY BLOCK DIAGRAMS (IEC 61078:2016) |
| EN 61165:2006 | Application of Markov techniques |
| EN 61511-3:2017 | Functional safety - Safety instrumented systems for the process industry sector - Part 3: Guidance for the determination of the required safety integrity levels |
| IEC 61511-3:2016 | Functional safety - Safety instrumented systems for the process industry sector - Part 3: Guidance for the determination of the required safety integrity levels |
| IEC 61703:2016 | Mathematical expressions for reliability, availability, maintainability and maintenance support terms |
| EN 61025:2007 | Fault tree analysis (FTA) |
| ISO/IEC 15909-1:2004 | Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation |
| IEC 60050-111:1996 | International Electrotechnical Vocabulary (IEV) - Part 111: Physics and chemistry |
| IEC 61508-1:2010 | Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 1: General requirements (see Functional Safety and IEC 61508) |
| EN 50126 : 1999 | RAILWAY APPLICATIONS - THE SPECIFICATION AND DEMONSTRATION OF RELIABILITY, AVAILABILITY, MAINTAINABILITY AND SAFETY (RAMS) |
| EN 61703:2016 | Mathematical expressions for reliability, availability, maintainability and maintenance support terms |
| EN 61508-4:2010 | Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 4: Definitions and abbreviations |
Access your standards online with a subscription
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.