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
English
30-11-2012
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) |
Please Login or Create an Account so you can add users to your Multi user PDF Later.
Important note : All end users must be registered with an Account prior to user licenses being assigned.
Users cannot be edited or removed once added to your Multi user PDF.