This International Standard provides guidance on a Petri net based methodology fordependability purposes. It supports modelling a system, analysing the model and presenting the analysis results. This methodology is oriented to dependability-related measur