NF EN 62551

NF EN 62551

February 2013
Standard Current

Analysis techniques for dependability - Petri net techniques

Le présent document donne des directives pour une technique basée sur les réseaux de Petri dans le domaine de la sûreté de fonctionnement. Il porte sur la modélisation d'un système, l'analyse du modèle et la présentation des résultats de l'analyse.

See more
View the extract
Main informations

Collections

National standards and national normative documents

Publication date

February 2013

Number of pages

67 p.

Reference

NF EN 62551

ICS Codes

21.020   Characteristics and design of machines, apparatus, equipment

Classification index

C20-320

Print number

1

International kinship

IEC 62551:2012

European kinship

EN 62551:2012
Sumary
Analysis techniques for dependability - Petri net techniques

Le présent document donne des directives pour une technique basée sur les réseaux de Petri dans le domaine de la sûreté de fonctionnement. Il porte sur la modélisation d'un système, l'analyse du modèle et la présentation des résultats de l'analyse.
Table of contents
  • AVANT-PROPOS
    2
  • INTRODUCTION
    7
  • 1 Domaine d'application
    8
  • 2 Références normatives
    8
  • 3 Termes, définitions, symboles et abréviations
    8
  • 3.1 Termes et définitions
    9
  • 3.2 Symboles et abréviations
    10
  • 4 Description générale des réseaux de Petri
    12
  • 4.1 Réseaux de Petri de bas niveau non synchronisés
    12
  • 4.2 Réseaux de Petri de bas niveau synchronisés
    13
  • 4.3 Réseaux de Petri de haut niveau
    13
  • 4.4 Extensions des réseaux de Petri et modélisation avec des réseaux de Petri
    13
  • 5 Modélisation et analyse de la sûreté de fonctionnement par réseaux de Petri
    15
  • 5.1 Étapes à exécuter en général
    15
  • 5.2 Étapes à exécuter en détail
    18
  • 6 Relation avec les autres modèles de sûreté de fonctionnement
    24
  • Annexe A (informative) Structure et dynamique des réseaux de Petri
    25
  • Annexe B (informative) Disponibilité avec redondance m sur n
    38
  • Annexe C (informative) Exemple résumé
    44
  • Annexe D (informative) Modélisation de concepts types de sûreté de fonctionnement
    49
  • Annexe E (informative) Exemple d'un passage à niveau
    51
  • Annexe ZA (normative) Références normatives à d'autres publications internationales avec les publications européennes correspondantes
    72
  • Bibliographie
    73
Need to identify, monitor and decipher standards?

COBAZ is the simple and effective solution to meet the normative needs related to your activity, in France and abroad.

Available by subscription, CObaz is THE modular solution to compose according to your needs today and tomorrow. Quickly discover CObaz!

Request your free, no-obligation live demo

I discover COBAZ