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