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