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
ZOOM ON ... the Requirements department
To comply with a standard, you need to quickly understand its issues in order to determine its impact on your activity.

The Requirements department helps you quickly locate within the normative text:
- mandatory clauses to satisfy,
- non-essential but useful clauses to know, such as permissions and recommendations.

The identification of these types of clauses is based on the document “ISO / IEC Directives, Part 2 - Principles and rules of structure and drafting of ISO documents ”as well as on a constantly enriched list of verbal forms.

With Requirements, quickly access the main part of the normative text!

With Requirements, quickly access the main part of the normative text!
New: UPSELL service
- The UPSELL service allows you to easily update one of your standards.
- With a single click, add a new language, the Requirements or Redline+ service and add one or more additional users.
- Whether you are in the process of acquiring a standard or it is already available in your personal space, the UPSELL service is available at every stage to help you understand it and implement it within your organization.
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