• I.S. EN 62551:2012

    Current The latest, up-to-date edition.

    ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES (IEC 62551:2012 (EQV))

    Available format(s):  Hardcopy, PDF

    Language(s):  English

    Published date:  01-01-2012

    Publisher:  National Standards Authority of Ireland

    For Harmonized Standards, check the EU site to confirm that the Standard is cited in the Official Journal.
    Only cited Standards give presumption of conformance to New Approach Directives/Regulations.

    Dates of withdrawal of national standards are available from NSAI.

    Add To Cart

    Table of Contents - (Show below) - (Hide below)

    FOREWORD
    INTRODUCTION
    1 Scope
    2 Normative references
    3 Terms, definitions, symbols and abbreviations
    4 General description of Petri nets
    5 Petri net dependability modelling and analysis
    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
    Annex ZA (normative) - Normative references to
             international publications with their
             corresponding European publications

    Abstract - (Show below) - (Hide below)

    Gives guidance on a Petri net based methodology for dependability purposes.

    General Product Information - (Show below) - (Hide below)

    Development Note For CENELEC adoptions of IEC publications, please check www.iec.ch to be sure that you have any corrigenda that may apply. (01/2017)
    Document Type Standard
    Publisher National Standards Authority of Ireland
    Status Current

    Standards Referencing This Book - (Show below) - (Hide below)

    IEC 61025:2006 Fault tree analysis (FTA)
    IEC 60050-351:2013 International Electrotechnical Vocabulary (IEV) - Part 351: Control technology
    IEC 60812:2006 Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)
    IEC 60050-151:2001 International Electrotechnical Vocabulary (IEV) - Part 151: Electrical and magnetic devices
    IEC 61078:2016 Reliability block diagrams
    IEC 61165:2006 Application of Markov techniques
    IEC 61508-4:2010 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 4: Definitions and abbreviations (see Functional Safety and IEC 61508)
    IEC 61511-3:2016 Functional safety - Safety instrumented systems for the process industry sector - Part 3: Guidance for the determination of the required safety integrity levels
    IEC 61703:2016 Mathematical expressions for reliability, availability, maintainability and maintenance support terms
    ISO/IEC 15909-1:2004 Systems and software engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation
    IEC 60050-111:1996 International Electrotechnical Vocabulary (IEV) - Part 111: Physics and chemistry
    IEC 61508-1:2010 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 1: General requirements (see Functional Safety and IEC 61508)
    EN 50126 : 1999 RAILWAY APPLICATIONS - THE SPECIFICATION AND DEMONSTRATION OF RELIABILITY, AVAILABILITY, MAINTAINABILITY AND SAFETY (RAMS)
    • Access your standards online with a subscription

      Features

      • Simple online access to standards, technical information and regulations
      • Critical updates of standards and customisable alerts and notifications
      • Multi - user online standards collection: secure, flexibile and cost effective