NF EN 62551

NF EN 62551

février 2013
Norme En vigueur

Techniques d'analyse de sûreté de fonctionnement - Techniques des réseaux de Pétri

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.

Voir plus
Visualiser l'extrait
Informations générales

Collections

Normes nationales et documents normatifs nationaux

Date de publication

février 2013

Nombre de pages

67 p.

Référence

NF EN 62551

Codes ICS

21.020   Caractéristiques et conception des machines, appareils et équipements

Indice de classement

C20-320

Numéro de tirage

1 - 15/03/2013

Parenté internationale

IEC 62551:2012

Parenté européenne

EN 62551:2012
Résumé
Techniques d'analyse de sûreté de fonctionnement - Techniques des réseaux de Pétri

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.
Sommaire
Visualiser l'extrait
  • 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
Besoin d’identifier, de veiller et de décrypter les normes ?

COBAZ est la solution simple et efficace pour répondre aux besoins normatifs liés à votre activité, en France comme à l’étranger.

Disponible sur abonnement, CObaz est LA solution modulaire à composer selon vos besoins d’aujourd’hui et de demain. Découvrez vite CObaz !

Demandez votre démo live gratuite, sans engagement

Je découvre COBAZ