ДСТУ EN 62551:2022 Методы анализа надежности. Методы сети Петри (EN 62551:2012, IDT; IEC 62551:2012, IDT)



ДСТУ EN 62551:2022
(EN 62551:2012, IDT; IEC 62551:2012, IDT)

Методи аналізування надійності. Методи мережі Петрі

 
   
 
Не є офіційним виданням.
Офіційне видання розповсюджує національний орган стандартизації
(ДП «УкрНДНЦ» http://uas.gov.ua)

Contents

INTRODUCTION

1 Scope

2 Normative references

3 Terms, definitions, symbols and abbreviations

3.1 Terms and definitions

3.2 Symbols and abbreviations

4 General description of Petri nets

4.1 Untimed low-level Petri nets

4.2 Timed low-level Petri nets

4.3 High-level Petri nets

4.4 Extensions of Petri nets and modelling with Petri nets

5 Petri net dependability modelling and analysis

5.1 The steps to be performed in general

5.2 Steps to be performed in detail

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