I.S. EN 62551:2012
Current
The latest, up-to-date edition.
ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES (IEC 62551:2012 (EQV))
Hardcopy , PDF
English
01-01-2012
For Harmonized Standards, check the EU site to confirm that the Standard is cited in the Official Journal.
Only cited Standards give presumption of conformance to New Approach Directives/Regulations.
Dates of withdrawal of national standards are available from NSAI.
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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
Gives guidance on a Petri net based methodology for dependability purposes.
| DevelopmentNote |
For CENELEC adoptions of IEC publications, please check www.iec.ch to be sure that you have any corrigenda that may apply. (01/2017)
|
| DocumentType |
Standard
|
| Pages |
142
|
| PublisherName |
National Standards Authority of Ireland
|
| Status |
Current
|
| Standards | Relationship |
| EN 62551 : 2012 | Identical |
| IEC 61025:2006 | Fault tree analysis (FTA) |
| IEC 60050-351:2013 | International Electrotechnical Vocabulary (IEV) - Part 351: Control technology |
| 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) |
| 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 |
| 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) |
Access your standards online with a subscription
Features
-
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.