Analysis techniques for dependability - Petri net techniques

IEC 62551:2012 provides guidance on a Petri net based methodology for dependability purposes. It supports modelling a system, analysing the model and presenting the analysis results. This methodology is oriented to dependability-related measures with all the related features, such as reliability, availability, production availability, maintainability and safety (e.g. safety integrity level (SIL) [2] related measures). Key words: Petri net based methodology for dependability purposes

Analysemethoden für Zuverlässigkeit - Petrinetze

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

La CEI 62551:2012 donne des directives pour une technique basée sur les réseaux de Petri dans le domaine de la sûreté de fonctionnement. Elle porte sur la modélisation d'un système, l'analyse du modèle et la présentation des résultats de l'analyse. Cette méthode est orientée vers les mesures relatives à la sûreté de fonctionnement avec toutes les caractéristiques associées, telles que la fiabilité, la disponibilité, la disponibilité de production, la maintenabilité et la sécurité (par exemple, les mesures associées au niveau d'intégrité de sécurité (SIL[2]: en anglais:system integrity level). Mots clés: technique basée sur les réseaux de Petri dans le domaine de la sûreté de fonctionnement

Tehnike analize zagotovljivosti - Tehnike Petrijeve mreže

Ta mednarodni standard podaja smernice o metodologiji, ki temelji na Petrijevi mreži, za namene zagotovljivosti. Podpira modeliranje sistema, analizo modela in predstavitev rezultatov analize. Ta metodologija je usmerjena v ukrepe v zvezi z zagotovljivostjo z vsemi zadevnimi lastnostmi, kot je zanesljivost, razpoložljivost, razpoložljivost proizvodnje, sposobnost vzdrževanja in varnost (npr. ukrepi v zvezi z 2. stopnjo varnostne celovitosti (SIL)). Ta standard obravnava naslednje teme na področju Petrijevih mrež: a) opredelitev bistvenih izrazov in simbolov ter opis njihove uporabe in metod za grafično predstavitev; b) pregled terminologije in njene povezave z zagotovljivostjo; c) predstavitev načela postopnosti za 1) modeliranje zagotovljivosti s Petrijevimi mrežami, 2) navodila za uporabo tehnik, ki temeljijo na Petrijevi mreži, za kvalitativne in kvantitativne analize zagotovljivosti, 3) predstavitev in razlaganje rezultatov analize; d) opis povezave med Petrijevimi mrežami in drugimi tehnikami modeliranja; e) navedbo praktičnih primerov. Ta standard ne podaja smernic za reševanje matematičnih problemov, ki nastanejo pri analizi Petrijeve mreže; take smernice so navedene v točkah [3] in [4]. Ta standard se uporablja v vseh industrijah, v katerih se izvajajo kvalitativne in kvantitativne analize zagotovljivosti.

General Information

Status
Published
Publication Date
15-Nov-2012
Withdrawal Date
05-Nov-2015
Technical Committee
Drafting Committee
Current Stage
6060 - Document made available - Publishing
Start Date
16-Nov-2012
Completion Date
16-Nov-2012

Buy Standard

Standard
EN 62551:2013
English language
66 pages
sale 10% off
Preview
sale 10% off
Preview
e-Library read for
1 day

Standards Content (Sample)

SLOVENSKI STANDARD
SIST EN 62551:2013
01-marec-2013
Tehnike analize zagotovljivosti - Tehnike Petrijeve mreže
Analysis techniques for dependability - Petri net techniques
Techniques d'analyse de sûreté de fonctionnement - Techniques des réseaux de Petri
Ta slovenski standard je istoveten z: EN 62551:2012
ICS:
21.020 =QDþLOQRVWLLQQDþUWRYDQMH Characteristics and design of
VWURMHYDSDUDWRYRSUHPH machines, apparatus,
equipment
SIST EN 62551:2013 en
2003-01.Slovenski inštitut za standardizacijo. Razmnoževanje celote ali delov tega standarda ni dovoljeno.

---------------------- Page: 1 ----------------------

SIST EN 62551:2013

---------------------- Page: 2 ----------------------

SIST EN 62551:2013

EUROPEAN STANDARD
EN 62551

NORME EUROPÉENNE
November 2012
EUROPÄISCHE NORM

ICS 21.020


English version


Analysis techniques for dependability -
Petri net techniques
(IEC 62551:2012)


Techniques d'analyse de sûreté de Analysemethoden für Zuverlässigkeit -
fonctionnement - Petrinetze
Techniques des réseaux de Petri (IEC 62551:2012)
(CEI 62551:2012)





This European Standard was approved by CENELEC on 2012-11-06. CENELEC members are bound to comply
with the CEN/CENELEC Internal Regulations which stipulate the conditions for giving this European Standard
the status of a national standard without any alteration.

Up-to-date lists and bibliographical references concerning such national standards may be obtained on
application to the CEN-CENELEC Management Centre or to any CENELEC member.

This European Standard exists in three official versions (English, French, German). A version in any other
language made by translation under the responsibility of a CENELEC member into its own language and notified
to the CEN-CENELEC Management Centre has the same status as the official versions.

CENELEC members are the national electrotechnical committees of Austria, Belgium, Bulgaria, Croatia, Cyprus,
the Czech Republic, Denmark, Estonia, Finland, Former Yugoslav Republic of Macedonia, France, Germany,
Greece, Hungary, Iceland, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, the Netherlands, Norway, Poland,
Portugal, Romania, Slovakia, Slovenia, Spain, Sweden, Switzerland, Turkey and the United Kingdom.

CENELEC
European Committee for Electrotechnical Standardization
Comité Européen de Normalisation Electrotechnique
Europäisches Komitee für Elektrotechnische Normung

Management Centre: Avenue Marnix 17, B - 1000 Brussels


© 2012 CENELEC - All rights of exploitation in any form and by any means reserved worldwide for CENELEC members.
Ref. No. EN 62551:2012 E

---------------------- Page: 3 ----------------------

SIST EN 62551:2013
EN 62551:2012 - 2 -
Foreword
The text of document 56/1476/FDIS, future edition 1 of IEC 62551, prepared by IEC/TC 56
"Dependability" was submitted to the IEC-CENELEC parallel vote and approved by CENELEC as
EN 62551:2012.
The following dates are fixed:
(dop) 2013-08-06
• latest date by which the document has
to be implemented at national level by
publication of an identical national
standard or by endorsement
(dow) 2015-11-06
• latest date by which the national
standards conflicting with the
document have to be withdrawn

Attention is drawn to the possibility that some of the elements of this document may be the subject of
patent rights. CENELEC [and/or CEN] shall not be held responsible for identifying any or all such
patent rights.

Endorsement notice
The text of the International Standard IEC 62551:2012 was approved by CENELEC as a European
Standard without any modification.
In the official version, for Bibliography, the following notes have to be added for the standards indicated:

IEC 61508 Series NOTE Harmonised as EN 61508 Series (not modified).
IEC 61508-4:2010 NOTE Harmonised as EN 61508-4:2010 (not modified).
IEC 61508-1:2010 NOTE Harmonised as EN 61508-1:2010 (not modified).
IEC 61165:2006 NOTE Harmonised as EN 61165:2006 (not modified).
IEC 60812:2006 NOTE Harmonised as EN 60812:2006 (not modified).
IEC 61025:2006 NOTE Harmonised as EN 61025:2007 (not modified).
IEC 61078:2006 NOTE Harmonised as EN 61078:2006 (not modified).
IEC 61511-3:2003 NOTE Harmonised as EN 61511-3:2004 (not modified).
IEC 61703:2001 NOTE Harmonised as EN 61703:2002 (not modified).

---------------------- Page: 4 ----------------------

SIST EN 62551:2013
- 3 - EN 62551:2012
Annex ZA
(normative)

Normative references to international publications
with their corresponding European publications

The following documents, in whole or in part, are normatively referenced in this document and are
indispensable for its application. For dated references, only the edition cited applies. For undated
references, the latest edition of the referenced document (including any amendments) applies.

NOTE  When an international publication has been modified by common modifications, indicate
...

Questions, Comments and Discussion

Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.