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.
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
Important note : Users cannot be edited or removed once added to your Multi user PDF.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.