IEC 62551 : 1.0

Table of Contents

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

Abstract

Gives guidance on a Petri net based methodology for dependability purposes.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	International Electrotechnical Committee
Pages
ISBN
Committee	TC 56