Analysis techniques for dependability. Petri net techniques
Analysis techniques for dependability. Petri net techniques
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
Другие стандарты BS