UNLIMITED FREE ACCESS TO THE WORLD'S BEST IDEAS

close
Already an Engineering360 user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your Engineering360 Experience

close
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Webinars & White Papers

CEI EN 62551

Analysis techniques for dependability - Petri net techniques

active, Most Current
Buy Now
Organization: CEI
Publication Date: 1 November 2013
Status: active
Page Count: 70
ICS Code (Characteristics and design of machines, apparatus, equipment): 21.020
scope:

This International Standard 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).

This standard deals with the following topics in relation to Petri nets:

a) defining the essential terms and symbols and describing their usage and methods of graphical representation;

b) outlining the terminology and its relation to dependability;

c) presenting a step-by-step approach for

1) dependability modelling with Petri nets,

2) guiding the usage of Petri net based techniques for qualitative and quantitative dependability analyses,

3) representing and interpreting the analysis results; d) outlining the relationship of Petri nets to other modelling techniques;

e) providing practical examples.

This standard does not give guidance on how to solve mathematical problems that arise when analysing a PN; such guidance can be found in [3] and [4].

This standard is applicable to all industries where qualitative and quantitative dependability analyses is performed.

Document History

CEI EN 62551
November 1, 2013
Analysis techniques for dependability - Petri net techniques
This International Standard provides guidance on a Petri net based methodology for dependability purposes. It supports modelling a system, analysing the model and presenting the analysis results....

References

Advertisement