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
DS/EN 62551:2012 history
2012DS/EN 62551:2012 Analysis techniques for dependability - Petri net techniques