CEI EN 62551 : 2013
Current
The latest, up-to-date edition.
ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES
Hardcopy , PDF
English
01-01-2013
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.
| Committee |
CT 56
|
| DevelopmentNote |
Classificazione CEI 56-66. (12/2013)
|
| DocumentType |
Standard
|
| Pages |
70
|
| PublisherName |
Comitato Elettrotecnico Italiano
|
| Status |
Current
|
| Standards | Relationship |
| EN 62551:2012 | Identical |
| IEC 62551:2012 | Identical |
| IEC 60050-351:2013 | International Electrotechnical Vocabulary (IEV) - Part 351: Control technology |
| IEC 60050-151:2001 | International Electrotechnical Vocabulary (IEV) - Part 151: Electrical and magnetic devices |
| 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) |
| 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) |
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.