Skip to content
Please enter a keyword to search

  • CEI EN 62551 : 2013

    Current The latest, up-to-date edition.

    ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES

    Available format(s):  Hardcopy, PDF

    Language(s):  English

    Published date:  01-01-2013

    Publisher:  Comitato Elettrotecnico Italiano

    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)

    Committee CT 56
    Development Note Classificazione CEI 56-66. (12/2013)
    Document Type Standard
    Publisher Comitato Elettrotecnico Italiano
    Status Current

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

    IEC 60050-351:2013 International Electrotechnical Vocabulary (IEV) - Part 351: Control technology
    IEC 60050-151:2001 International Electrotechnical Vocabulary (IEV) - Part 151: Electrical and magnetic devices
    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)
    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)
    View more information

    • 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