IEC 62551 Ed. 1.0 b – Analysis techniques for dependability – Petri net techniques
IEC 62551:2012 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). Key words: Petri net based methodology for dependability purposes
Product Details
Edition:
1.0
Published:
10/02/2012
Number of Pages:
136
File Size:
1 file , 1.9 MB
Note:
This product is unavailable in Ukraine, Russia, Belarus