What is BS EN 62551 – Petri net techniques about?
BS EN 62551 discusses analysis techniques for dependability. BS EN 62551 provides guidance on a Petri net-based methodology for dependability purposes. BS EN 62551 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) related measures).
BS EN 62551 deals with the following topics in relation to Petri nets:
- Defining the essential terms and symbols and describing their usage and methods of graphical representation
- Outlining the terminology and its relation to dependability
- Presenting a step-by-step approach for:
- Dependability modelling with Petri nets
- Guiding the usage of Petri net based techniques for qualitative and quantitative dependability analyses
- Representing and interpreting the analysis results
- Outlining the relationship of Petri nets to other modelling techniques
- Providing practical examples
Note: BS EN 62551 does not give guidance on how to solve mathematical problems that arise when analysing a Petri net.
Who is BS EN 62551 – Petri net techniques for?
BS EN 62551 on analysis techniques for dependability is applicable to all industries where qualitative and quantitative dependability analyses are performed. Specific users of BS EN 62551 can be the following:
- Reliability engineers
- Risk analysts
Why should you use BS EN 62551– Petri net techniques?
The conventional methods are very limited when dealing with actual industrial systems because they are neither able to handle multi-state systems, nor able to model dynamic system behaviour (e.g., fault tree or reliability Block diagrams), and can be subject to the combinatory explosion of the states to be handled (e.g., Markov process). Therefore, alternative modelling and calculating methods are needed.
BS EN 62551 defines the consolidated basic principles of the Petri nets in the context of dependability and the current usage of Petri net modelling and analysing as a means for qualitatively and quantitatively assessing the dependability and risk-related measures of a system.
In conclusion, BS EN 62551 provides a basic methodology for the representation of the basic elements of Petri nets and provides guidance for the application of the techniques in the dependability field.