Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts.
Petri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We...