A TOOL FOR DEPENDABILITY EVALUATION
BASED ON MARKOV CHAINS
AND STOCHASTIC PETRI NETS
SURF-2 licence is distributed by LAAS-CNRS under the following conditions:
A demonstration version (limited number of places/states) is available. This version has all the functionalities of the commercial version of SURF-2 but does not permit to build a model larger than 10 Petri places or Markov states.