10/30175182 DC : 0
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
BS EN 62551 - ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET MODELLING
Hardcopy , PDF
30-11-2012
English
1 Scope
2 Normative references
3 Terms and definitions
4 Symbols and abbreviations
5 General description of Petri nets
6 Petri net dependability modeling and analysis
7 Relationship to other dependability models
Annex A (Informative) - Structure and Dynamics
of Petri nets
Annex B (Informative) - m-out-of-n
Annex C (Informative) - Abstract Example
Annex D (Informative) - Modeling typical Dependability
Concepts
Annex E (Informative) - Level-crossing example
Bibliography
BS EN 62551
Committee |
DS/1
|
DocumentType |
Draft
|
Pages |
64
|
PublisherName |
British Standards Institution
|
Status |
Superseded
|
SupersededBy |
IEC 61025:2006 | Fault tree analysis (FTA) |
IEC 60812:2006 | Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA) |
IEC 61078:2016 | Reliability block diagrams |
IEC 61165:2006 | Application of Markov techniques |
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 |
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.