10/30175182 DC : 0

Superseded

View Superseded by

BS EN 62551 - ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET MODELLING

Available format(s)

Hardcopy , PDF

Superseded date

30-11-2012

Language(s)

English

Publisher

British Standards Institution

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	BS EN 62551:2012

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)